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 “"software synthesis"”.
-
Software Synthesis of SystemC Models
… are now large, complicated and involve both software and hardware components. The designs have to be modeled at a high level of abstraction before partitioning into hardware and software components for final implementation. SystemC is a system level modeling language useful for System On a …
-
Formal Model Driven Software Synthesis for Embedded Systems
… generate the lower level application code. Such software synthesis techniques are said to be 'correct-by-construction'. Synchronous programming languages such as Esterel, LUSTRE, which are based on a synchronous model of computation are used for sequential code generation. They work on a …
-
Composing With Parameters for Synthetic Instruments
… which produce sound by means of computer software, and suggests fruitful ways of composing for such instruments. Unlike other research in new instruments, it focuses on the interfaces between performer, instrument-controller and sound synthesizer. Instead of asking only what sounds a given …
-
MSL : a synthesis enabled language for distributed high performance computing implementations
… combines ideas from generative programming and software synthesis to simplify the development process as well as to allow programmers to package complex implementation strategies behind clean high-level reusable abstractions. We propose in this thesis the key new language features in MSL and new …
-
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling
… control systems. However,the current research on software synthesis for Simulink models has a critical gap for providing a deterministic, semantics-preserving implementation on multicore architectures with partitioned fixed-priority scheduling. In this thesis, we propose to judiciously assign task …
-
An efficient sequential BTRS implementation
… the starting point for research into efficient software synthesis from guarded atomic actions, and ultimately a hardware inspired programming methodology for writing parallel software. This compiler is currently being used to generate software for a heterogeneous system in which the software and …
-
A probabilistic architecture for algorithm portfolios
… enable applications from circuit verification to software synthesis. Whether a problem instance can be solved, however, often depends in practice on whether the correct solver was selected and its parameters appropriately set. Algorithm portfolios leverage past performance data to automatically …
-
Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
… paradigm and synthesize the desired hardware and software from the high-level descriptions expressed using one of the many formal modeling languages. Since these languages are equipped with formal semantics, formally-based tools can be employed for various analysis. In this dissertation, we adopt …