Autor der Publikation

Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.

, , , und . EMSOFT, Seite 63-72. ACM, (2012)

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

FunState - an internal design representation for codesign., , , , und . ICCAD, Seite 558-565. IEEE Computer Society, (1999)Energy-efficient real-time task scheduling with temperature-dependent leakage., , , und . DATE, Seite 9-14. IEEE, (2010)Cool MPSoC programming., , , , , und . DATE, Seite 1488-1493. IEEE, (2010)Reliable mode changes in real-time systems with fixed priority or EDF scheduling., , und . DATE, Seite 99-104. IEEE, (2009)Analysis, Comparison, and Optimization of Routing Protocols for Energy Harvesting Wireless Sensor Networks., , , , und . SUTC/UMC, Seite 19-26. IEEE Computer Society, (2010)SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems., , , , und . MBMV, Seite 160-169. Shaker, (1999)An efficient, adaptive parameter variation scheme for metaheuristics based on the epsilon-constraint method., , und . European Journal of Operational Research, 169 (3): 932-942 (2006)Windowed FIFOs for FPGA-based Multiprocessor Systems., , und . ASAP, Seite 36-41. IEEE Computer Society, (2007)An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems., , und . ECRTS, Seite 245-254. IEEE Computer Society, (2012)Temperature-aware Real-Time Scheduling - Extended Abstract.. QEST, Seite 33-34. IEEE Computer Society, (2011)