Autor der Publikation

Automatic generation of system-level virtual prototypes from streaming application models.

, , , und . International Symposium on Rapid System Prototyping, Seite 128-134. IEEE, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving., , , , und . DATE, Seite 357-362. ACM, (2015)SystemCoDesigner - an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications., , , , , , , und . ACM Trans. Design Autom. Electr. Syst., 14 (1): 1:1-1:23 (2009)Automatic generation of system-level virtual prototypes from streaming application models., , , und . International Symposium on Rapid System Prototyping, Seite 128-134. IEEE, (2011)Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models., , und . FDL, Seite 1-6. IEEE, (2008)Towards Tight Interaction of ASP and SMT Solving for System-Level Decision Making., , und . ARCS Workshops, Seite 1-7. VDE Verlag / IEEE Xplore, (2014)Efficient approximately-timed performance modeling for architectural exploration of MPSoCs., , , und . FDL, Seite 1-6. IEEE, (2009)On the Influence of Hardware Design Options on Schedule Synthesis in Time-Triggered Real-Time Systems., , , und . MBMV, Seite 105-114. Sächsische Landesbibliothek, (2015)A novel model for system-level decision making with combined ASP and SMT solving., , und . DATE, Seite 1-4. European Design and Automation Association, (2014)Mapping Actor-Oriented Models to TLM Architectures., , , und . FDL, Seite 128-133. ECSI, (2007)Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen., , , und . MBMV, Seite 109-118. Shaker, (2008)