3,020 research outputs found
A Capacitated Minimum-Cost Multicast Routing Algorithm for Multirate Multimedia Distribution
No full text
Maximum-Revenue Multicast Routing and Partial Admission Control for Multirate Multimedia Distribution
No full textPOLA KALIMAT PADA KUMPULAN DONGENG GADIS KOREK API KARYA H.C. ANDERSEN (SUATU KAJIAN SINTAKSIS)
No full textThis study described syntactic structure on fairy-tale collection of Gadis Korek Api by H.C. Andersen. The study which seen from syntactic structure is sentence pattern based on function category, category, and syntactic role. This study aimed to describe syntactic structure on fairy-tale collection of Gadis Korek Api by H.C. Andersen and it’s distribution towardh Indonesian language. This research used qualitative method and note method was employed for collecting the data. In analysing the data, the researcher used Agih method by applying Immediate Constituent Analysis technique (ICA) as a basic technique. A book entitled Gadis Korek Api and others fairy-tale are the work of danish author, H.C. Andersen that used Indonesian standard. The analysis showed syntactic structure of fairy-tale language which form of sentence pattern based on the user, the pattern of imperative sentence, sentence pattern contains conjunction, and sentence pattern of complex sentences. Keywords: Sentence Pattern; Fairy-tale; Syntactic.</p
Multi-Strengthening Effects on The Martensitic Transformation Temperatures of TiNi Shape Memory Alloys
No full textSynthesizing Procedural Abstractions from Formal Specifications
No full textions from Formal Specifications Betty H.C. Cheng Department of Computer Science Michigan State University East Lansing, Michigan 48824 Abstract This paper describes the development of the Seed system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal specifications using techniques amenable to automation. Seed accepts a formal specification of a problem written in predicate logic and generates annotated program source code satisfying the specification. In addition to primitive programming language constructs, Seed is capable of synthesizing recursive and non-recursive procedures and functions, and abstract data types. 1 Introduction Research concerning the use of formal methods in software tools seeks to facilitate the development of correct software [14, 8, 11, 13]. Our objective is to build a software development environment consisting of tools that will support the use of formal methods in all phases ..
Automated Synthesis of Data Abstractions
No full textions Betty H.C. Cheng Department of Computer Science Michigan State University East Lansing, Michigan 48824 Abstract Research into the development of software tools that support formal methods is aimed at simplifying and providing assistance during the development of correct software. We have developed the Seed system that uses techniques amenable to automation in order to assist a user in the correct development of the building blocks of a large software system from user-supplied formal specifications. Seed accepts a formal specification of a problem written in predicate logic and generates annotated program source code satisfying the specification. The rules for choosing which programming language structures to synthesize are contained in a rule base; background knowledge and domainspecific information are entered into a fact base. During synthesis, Seed uses the fact base to disambiguate rule applications. In addition to primitive programming language constructs, such as assignmen..
A Minimum Cost Multicast Routing Algorithm with the Consideration of Dynamic User Membership
No full textConsensu Et Author. Magnifici Ictorum Ordinis In Illustri Ad Salam Academia, Sub Praesidio ... Dn. Joh. Volk. Bechmanns ... Dissertationem Iuridicam De Iure Braxandi in Ictorum Auditorio ad diem Octobr. h.c. Publicae Eruditorum Censurae Subiiciet Paul. Christianus Arnoldus, Olsnen. Siles. Author & Respondens
No full textCONSENSU ET AUTHOR. MAGNIFICI ICTORUM ORDINIS IN ILLUSTRI AD SALAM ACADEMIA, SUB PRAESIDIO ... DN. JOH. VOLK. BECHMANNS ... DISSERTATIONEM IURIDICAM DE IURE BRAXANDI IN ICTORUM AUDITORIO AD DIEM OCTOBR. H.C. PUBLICAE ERUDITORUM CENSURAE SUBIICIET PAUL. CHRISTIANUS ARNOLDUS, OLSNEN. SILES. AUTHOR & RESPONDENS
Consensu Et Author. Magnifici Ictorum Ordinis In Illustri Ad Salam Academia, Sub Praesidio ... Dn. Joh. Volk. Bechmanns ... Dissertationem Iuridicam De Iure Braxandi in Ictorum Auditorio ad diem Octobr. h.c. Publicae Eruditorum Censurae Subiiciet Paul. Christianus Arnoldus, Olsnen. Siles. Author & Respondens ([1])
Titelseite ([1])
Widmung ([1])
Text ([3]
- …
