Autor der Publikation

Combining simulation and formal methods for system-level performance analysis.

, , , und . DATE, Seite 236-241. European Design and Automation Association, Leuven, Belgium, (2006)

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

Performance evaluation of network processor architectures: combining simulation with analytical estimation., , , , und . Computer Networks, 41 (5): 641-665 (2003)Combining simulation and formal methods for system-level performance analysis., , , und . DATE, Seite 236-241. European Design and Automation Association, Leuven, Belgium, (2006)Combined approach to system level performance analysis of embedded systems., , , und . CODES+ISSS, Seite 63-68. ACM, (2007)A framework for evaluating design tradeoffs in packet processing architectures., , , und . DAC, Seite 880-885. ACM, (2002)DiMo: distributed node monitoring in wireless sensor networks., , , und . MSWiM, Seite 117-121. ACM, (2008)Efficient design space exploration for embedded systems.. ETH Zurich, (2006)Workload Characterization Model for Tasks with Variable Execution Demand., , und . DATE, Seite 1040-1045. IEEE Computer Society, (2004)Schedulability of event-driven code blocks in real-time embedded systems., , , und . DAC, Seite 616-621. ACM, (2002)A General Framework for Analysing System Properties in Platform-Based Embedded System Designs., , und . DATE, Seite 10190-10195. IEEE Computer Society, (2003)Indicator-Based Selection in Multiobjective Search., und . PPSN, Volume 3242 von Lecture Notes in Computer Science, Seite 832-842. Springer, (2004)