Supercompilation is a program transformation technique introduced in the 1970s by V. Turchin [13,14,16]. His ideas were studied by a number of authors for a long time. We constructed an experimental supercompiler for ...
ISBN:
(纸本)3540208135
Supercompilation is a program transformation technique introduced in the 1970s by V. Turchin [13,14,16]. His ideas were studied by a number of authors for a long time. We constructed an experimental supercompiler for a functional language Refal-5 [15]. the Scp4 project was discussed with V. Turchin. He initiated and supported our work. Scp4 has been implemented once again using Refal-5. Sources of Scp4 and the whole version of this paper are available for immediate download [8,9,17]. A user manual on Scp4 and reports on several interesting experiments can be found in [4,5,6]. Scp4 is a first experimental supercompiler for the real functional language Refal-5. the principal new tool in Scp4 is an online analysis of global properties of folded-components of the meta-tree MTr of all potential computations. Let a program P and a parameterized input of the P be given. then such a pair defines a partial mapping. A supercompiler is a transformer of such pairs. the transformer must preserve the map values on the map domain. Scp4 unfolds a potentially infinite tree of all possible computations. It reduces in the process the redundancy that could be present in the original program. It folds the tree into a finite graph of states and transitions between possible configurations of the computing system. It analyses global properties of the graph and specializes this graph w.r.t. these properties. the resulting definition is constructed solely based on the meta-interpretation of the source program rather than by a step-by-step transformation of the program. the size of the Scp4 system is about 19500 lines of commented source code (800 KB).
this paper reports a through-wafer interconnect structure using air-isolated p/sup ++/ silicon columns suspended by metal beams. the approach minimizes parasitic capacitance and does not require the lightly-doped wafe...
详细信息
this paper reports a through-wafer interconnect structure using air-isolated p/sup ++/ silicon columns suspended by metal beams. the approach minimizes parasitic capacitance and does not require the lightly-doped wafers and DC bias associated with pn-junction isolation. the interconnects are therefore well suited for use in battery-operated microsystems. the through-wafer conductors have a calculated series resistance of approximately 5 /spl Omega/ and a capacitance to the substrate of 10 fF. Including the metal support frame, the area of each feedthrough is 0.01 mm/sup 2/, and using clustered columns, the per-feedthrough area is still smaller.
this Volume 1 of the conference proceedings contains 117 papers. Topics discussed include simulation technology, simulation technology and applications, system simulation theory and methodology, simulation algorithms,...
详细信息
ISBN:
(纸本)7506255715
this Volume 1 of the conference proceedings contains 117 papers. Topics discussed include simulation technology, simulation technology and applications, system simulation theory and methodology, simulation algorithms, simulation software and simulation computersystems, integrated simulation environment, real time imaging generation and display techniques, simulator and simulation equipment, computer aided engineering, computer aided design, computer aided manufacture and concurrent engineering.
We define a translation from Condition/Event nets to the Circal process algebra. Such a translation exploits the Circal feature of allowing the simultaneous occurrence of distinct actions. this permits us to give Cond...
详细信息
ISBN:
(纸本)3540433538
We define a translation from Condition/Event nets to the Circal process algebra. Such a translation exploits the Circal feature of allowing the simultaneous occurrence of distinct actions. this permits us to give Condition/Event nets a semantics based on true concurrency, in addition to the interleaving-based semantics. In this way the true concurrency aspects of Condition/Event nets are preserved in the process algebra representation and can be analysed using the verification facilities provided by the Circal System. systems modelled partly using Condition/Event nets partly using the Circal process algebra can also be analysed within the same verification environment.
Recent developments in mobile code and embedded systems have led to an increased interest in open platforms, i.e. platforms which enable different applications to interact in a dynamic environment. However, the flexib...
详细信息
ISBN:
(纸本)3540433538
Recent developments in mobile code and embedded systems have led to an increased interest in open platforms, i.e. platforms which enable different applications to interact in a dynamic environment. However, the flexibility of open platforms presents major difficulties for the (formal) verification of secure interaction between the different applications. To overcome these difficulties, compositional verification techniques are required. this paper presents a compositional approach to the specification and verification of secure applet interactions. this approach involves a compositional model of the interface behavior of applet interactions, a temporal logic property specification language, and a proof system for proving correctness of property decompositions. the usability of the approach is demonstrated on a realistic smartcard case study.
Visual diagrammatic (VD) notations have always been widely used in softwareengineering. Such notations have been used to syntactically represent the structure of softwaresystems, but they usually lack dynamic semant...
详细信息
ISBN:
(纸本)3540433538
Visual diagrammatic (VD) notations have always been widely used in softwareengineering. Such notations have been used to syntactically represent the structure of softwaresystems, but they usually lack dynamic semantics, and thus provide limited support to software engineers. In contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domains precluded their large industrial application. Most attempts tried to formalize widely used VD notations by proposing a mapping to a formal model, but they all failed in addressing flexibility, that is, the key factor of the success of VD notations. this paper presents MetaEnv, a toolbox for automating visual softwareengineering. MetaEnv augments VD notations with customizable dynamic semantics. Traditional meta-CASE tools support flexibility at syntactic level;MetaEnv augments them with semantic flexibility. MetaEnv refers to a framework based on graph grammars and has been experimented as add-on to several commercial and proprietary tools that support syntactic manipulation of VD notations.
the proceedings contain 12 papers. the special focus in this conference is on Next Generation Information Technologies and systems. the topics include: Select-project queries over XML documents;answering cooperative r...
ISBN:
(纸本)354043819X
the proceedings contain 12 papers. the special focus in this conference is on Next Generation Information Technologies and systems. the topics include: Select-project queries over XML documents;answering cooperative recursive queries in web federated databases;design and implementation of a distributed crawler and filtering processor;moving objects information management;specifying local ontologies in support of semantic interoperability of distributed inter-organizational applications;the natural language modeling procedure and conversation about software requirements with prototypes and scenarios.
the book captures the latest developments in the areas of knowledge engineering and softwareengineering. Particular emphasis is placed upon applying knowledge-based methods to softwareengineering problems. the Confe...
详细信息
ISBN:
(数字)9781601294418
ISBN:
(纸本)9781586032746
the book captures the latest developments in the areas of knowledge engineering and softwareengineering. Particular emphasis is placed upon applying knowledge-based methods to softwareengineering problems. the conference, from which the papers are coming, originated in order to provide a forum in which the latest developments in the field of knowledge-based softwareengineering could be discussed. Although initially targeting scientists from Japan, the CIS countries and countries in Central and Eastern Europe, the authors come from many countries throughout the world. JCKBSE 2002 continues withthis tradition and is anticipating even wider international participation. Furthermore, the scope of the conference as indicated by its topics has been updated to reflect the recent development in all the three covered areas, i.e. knowledge engineering, softwareengineering, and knowledge-based softwareengineering.
Withthe adoption of UML by the OMG and industry as the linguae-francae of visual systems modelling, one begins to ponder what will come next in this field? this tutorial brings a vision for visual modelling beyond UM...
详细信息
ISBN:
(纸本)158113472X
Withthe adoption of UML by the OMG and industry as the linguae-francae of visual systems modelling, one begins to ponder what will come next in this field? this tutorial brings a vision for visual modelling beyond UML. We present and consolidate radical new notations, proposed in a series of research papers and with quickly increasing adoption by industry, for the specification of complex systems in an intuitive visual, yet precise manner. the recurring theme of these notations is the upgrading of familiar diagrams into a powerful visual language. Spider diagrams considerably extend Venn-diagrams to the specification of OO-systems. Most familiar OO-concepts are translated to set theoretical terms: class into set of objects, inheritance corresponding to subset, and even Harel's statecharts interpreted as the set of objects in that state. Constraint diagrams enhance the arrow notation to describe static system invariants which cannot be described by UML class-object diagram. Reasoning rules are developed for the notation and strong completeness results are given. Finally, 3D-diagrams show how the third dimension and VRML modelling can be used for a conceptual modelling of dynamic system behaviour. Much of the tutorial will be based on a case study developed in industry, illustrating how the new notations are combined withthose of UML, including OCL.
A new method "Pretreatment and cycle stream of control" is raised in this paper. It has synthesized the characteristic of software and hardware, and has solved the problem of real time. this core idea of the...
详细信息
ISBN:
(纸本)0958069212
A new method "Pretreatment and cycle stream of control" is raised in this paper. It has synthesized the characteristic of software and hardware, and has solved the problem of real time. this core idea of the project research is: the hardware electric circuit cycle in the space region which is distributed to form chain and cycle (in a nested way) + the software sentence cycle in the time region which is distinguished by scales = the real time controlled cycle controlled cycle of Pretreated control stream.
暂无评论