Autor der Publikation

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

Time and Memory Efficient Online Piecewise Linear Approximation of Sensor Signals., , , , und . Sensors, 18 (6): 1672 (2018)Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling., , , , , und . SCOPES, Seite 68-75. ACM, (2015)Incorporating graceful degradation into embedded system design., , , und . DATE, Seite 320-323. IEEE, (2009)SAT-Based Techniques in System Synthesis., , , und . DATE, Seite 11168-11169. IEEE Computer Society, (2003)A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving., , , , und . DATE, Seite 357-362. ACM, (2015)Efficient High-Level modeling in the networking domain., , , , und . DATE, Seite 1189-1194. IEEE, (2010)SAT-decoding in evolutionary algorithms for discrete constrained optimization problems., , , und . IEEE Congress on Evolutionary Computation, Seite 935-942. IEEE, (2007)Modellierung rekonfigurierbarer Systemarchitekturen., , , und . MBMV, Seite 163-171. Shaker, (2002)Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models., , , , und . MBMV, Seite 139-148. Shaker, (2008)Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems., , , und . ASAP, Seite 9-14. IEEE Computer Society, (2005)