Hochschulschrift
Synthesis of distributed systems from synchronous dataflow programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 2006
- Creator
- URN
-
urn:nbn:de:bvb:91-diss20060718-1121472173
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:01 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Synthesis of synchronous programs to parallel software architectures
Synthesis of Synchronous Programs to Parallel Software Architectures
Efficient Compilation of Cyclic Synchronous Programs
Synthesis of distributed systems
Tight WCRT analysis of synchronous C programs
Induction-based Verification of Synchronous and Hybrid Programs
Separate Translation of Synchronous Programs to Guarded Actions
Automatic synthesis of distributed transition systems
Meta-synthesis : deriving programs that develop programs
Synthesis of asynchronous distributed systems from global specifications
Translation of Array-based Loop Programs to Optimized SQL-based Distributed Programs
Interactive Verification of Synchronous Systems
Synthesis of synchronous programs to parallel software architectures
Synthesis of Synchronous Programs to Parallel Software Architectures
Efficient Compilation of Cyclic Synchronous Programs
Synthesis of distributed systems
Tight WCRT analysis of synchronous C programs
Induction-based Verification of Synchronous and Hybrid Programs
Separate Translation of Synchronous Programs to Guarded Actions
Automatic synthesis of distributed transition systems
Meta-synthesis : deriving programs that develop programs
Synthesis of asynchronous distributed systems from global specifications
Translation of Array-based Loop Programs to Optimized SQL-based Distributed Programs
Interactive Verification of Synchronous Systems
Synthesis of synchronous programs to parallel software architectures
Synthesis of Synchronous Programs to Parallel Software Architectures
Efficient Compilation of Cyclic Synchronous Programs
Synthesis of distributed systems
Tight WCRT analysis of synchronous C programs
Induction-based Verification of Synchronous and Hybrid Programs
Separate Translation of Synchronous Programs to Guarded Actions
Automatic synthesis of distributed transition systems
Meta-synthesis : deriving programs that develop programs
Synthesis of asynchronous distributed systems from global specifications
Translation of Array-based Loop Programs to Optimized SQL-based Distributed Programs