Autor der Publikation

OR Causality: Modelling and Hardware Implementation.

, , , und . Application and Theory of Petri Nets, Volume 815 von Lecture Notes in Computer Science, Seite 568-587. Springer, (1994)

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 region-based theory for state assignment in speed-independent circuits., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (8): 793-812 (1997)Incremental high-level synthesis., , , , , , und . ASP-DAC, Seite 701-706. IEEE, (2010)Coupling Asynchrony and Interrupts: Place Chart Nets., , , , , und . ICATPN, Volume 1248 von Lecture Notes in Computer Science, Seite 328-347. Springer, (1997)Checking signal transition graph implementability by symbolic BDD traversal., , , , , und . ED&TC, Seite 325-332. IEEE Computer Society, (1995)Realistic performance-constrained pipelining in high-level synthesis., , , und . DATE, Seite 1382-1387. IEEE, (2011)Exploiting area/delay tradeoffs in high-level synthesis., , , und . DATE, Seite 1024-1029. IEEE, (2012)Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis., , , , und . ASYNC, Seite 240-253. IEEE Computer Society, (1997)Quasi-Static Scheduling for Concurrent Architectures., , , und . ACSD, Seite 29-40. IEEE Computer Society, (2003)Synthesis methodology for built-in at-speed testing., , und . ICCAD, Seite 183-188. IEEE Computer Society, (2005)Task generation and compile-time scheduling for mixed data-control embedded software., , , , , , , und . DAC, Seite 489-494. ACM, (2000)