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 8 of 8 for “"automatic code-generation"”.
-
Automatic code generation for real-time reactive systems in TROMLAB environment
… model in C++ that fits the TROM formalism, automatically translating TROM specifications into Larch/C++, an interface specification language, and finally mechanically generating C++ code that conforms to the interface specification. The code generation methodology is illustrated for the …
-
Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs
… in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three …
-
Schedulability analysis and automated implementation of real-time object-oriented design models
… facilities, such as visualization tools and automatic code generation, they are all weak in addressing the central characteristic of real-time system design, i.e., providing support for a designer to reason about timeliness properties. We believe an approach that integrates the advancements …
-
A flight software development and simulation framework for advanced space systems
… Two technology-focused studies examine automatic code generation and autonomous fault protection within the GRRDE framework. A complex simulation of the TechSat 21 distributed spacebased radar mission highlights the utility of the approach for large-scale applications.
-
RAPID UNIFIED HMI AND PHYSICAL AGENT DEVELOPMENT FRAMEWORK FOR A CLASS OF CYBER PHYSICAL SYSTEM
… is based on the new abstract visual modeling and automatic code generation technique for a class of Cyber Physical System (CPS). Unlike middleware integration approach, the new unified development framework supports the developer's needs by realizing a platform independent development methodology …
-
Model-Based Safety Assessment of Industrial Automation Systems using IEC 61499
… an implementation of the system software can be automatically extracted from the development models using automatic code generation. One such approach for implementing industrial control systems uses IEC 61499, which is an open standard for implementing industrial process controller and …
-
The design and development of GPU accelerated algorithms for ab initio integrals and integral derivatives illustrated on ab initio quantum and hybrid QM/MM dynamics
… library of routines aimed at accelerating legacy codes, such as GAMESS-UK, GAMESS-US and NWChem, used in electronic structure calculations. Algorithms are presented for accelerating the one- and two-electron integral derivatives on a GPU. In addition to the derivatives, the one-electron integral …
-
A Unifying Interface Abstraction for Accelerated Computing in Sensor Nodes
… techniques are very suitable to develop the next generation of sensornet applications, which have high computational demands. By making use of a low power FPGA, the peak computational performance of a sensor node can be improved without significant degradation of the standby power dissipation. In …