Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"language extension"”.
-
Object-oriented hardwarespecification and design with a language extension to VHDL
In der Dissertation werden neue Modellierungsmöglichkeiten für den Entwurf anwendungsspezifischer integrierter Schaltungen (ASICs) analysiert, die sich durch den Entwurf und den Einsatz einer objektorientierten Spracherweiterung zur Hardwarebeschreibungssprache VHDL ergeben. Die Analyse befaßt sich …
-
Language Extension in Social Cognition: Personality Impression Judgment as a Cognitive Matching Operation
… on the structural properties of descriptive language removed from specific, naturalistic judgment contexts. In contrast, this study concerns the referential aspects of descriptive language: the process of tying a particular descriptor to a particular experience of a person. It is proposed …
-
Extending the Java language for the prevention of data races
This thesis presents a language extension for Java that ensures that type-checked programs will be free of race conditions. By adding parameterization to class types, this mostly static type-system allows programmers to write generic object code independent of the concurrency protection mechanism …
-
An imperative extension to alloy and a compiler for its execution
This thesis presents an extension of the Alloy specification language with the standard imperative programming constructs, allowing for the natural specification of dynamic systems. Using this extension, programmers can express stateful behavior directly, mixing declarative and imperative styles as …
-
Aggregation in temporal databases
… time-varying information. One important such extension is support for time-varying aggregate functions, such as a time-varying average. Our research will show that temporal aggregates may be specified in a semantically well defined manner yet be efficiently implemented as simple extensions to …
-
Automated synthesis of mixed-technology MEMS systems with electronic control
… domains. Although major Hardware Description Languages (HDLs) such as VHDL, Verilog and SystemC have been supplemented with analogue and mixed-signal (AMS) extensions which are essential in analogue and mixed-technology design, development of corresponding analogue and mixed-technology …
-
Machine Code Verification Using The Bogor Framework
… control flow, and interrupt servicing as extensions to Bogor. These extensions work within the tool framework using existing interfaces and require significantly less code than creating an entire model checking tool.
-
Adapting Grafchart for Industrial Automation
… market. The currently used control systems and languages for control were developed with a more static production in mind. More flexible languages and tools are needed to get a more flexible production. The flexible graphical programming language Grafchart, based on the IEC 61131-3 standard …
-
Communication Middleware for Distributed Hard Real-Time Systems in Java
… independence have made it an interesting language for the real-time and embedded community. This was the motivation for the development of RTSJ (Real-Time Specification for Java), which is a language extension intended to allow the development of real-time systems. The use of Java in the …