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

Specification and encoding of transaction interaction properties., , und . Formal Methods in System Design, 39 (2): 144-164 (2011)Certified Timing Verification and the Transition Delay of a Logic Circuit., , , und . DAC, Seite 549-555. (1992)Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software., , und . RTSS, Seite 298-307. IEEE Computer Society, (1995)Cache modeling for real-time software: beyond direct mapped instruction caches., , und . RTSS, Seite 254-263. IEEE Computer Society, (1996)Reverse engineering digital circuits using functional analysis., , , , , und . DATE, Seite 1277-1280. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs., , , , und . ICCAD, Seite 286-292. IEEE Computer Society, (2001)Incremental CAD., , , und . ICCAD, Seite 236-243. IEEE Computer Society, (2000)Achieving Structural and Composable Modeling of Complex Systems., , , und . IPDPS Next Generation Software Program - NSFNGS - PI Workshop, IEEE Computer Society, (2004)Optimization of embedded DSP programs using post-pass data-flow analysis., , , und . ICASSP, Seite 695-698. IEEE Computer Society, (1997)Post-silicon fault localisation using maximum satisfiability and backbones., , und . FMCAD, Seite 63-66. FMCAD Inc., (2011)