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

GreyHound: A methodology for utilizing datapath regularity in standard design flows., und . Integr., 25 (2): 111-135 (1998)Exploiting Structural Similarities in a BDD-Based Verification Method., und . TPCD, Volume 901 von Lecture Notes in Computer Science, Seite 110-125. Springer, (1994)Polarized observability don't cares., , und . ICCAD, Seite 626-631. IEEE Computer Society / ACM, (1996)Run-time consistency checking in discrete simulation models., , und . ED&TC, Seite 223-227. IEEE Computer Society, (1995)Register Binding for Predicated Execution in DSP Applications., , , und . SBCCI, Seite 113-118. IEEE Computer Society, (2000)Static resource models of instruction sets., , , , und . ISSS, Seite 159-164. ACM / IEEE Computer Society, (2001)A BDD-based verification method for large synthesized circuits.. Integr., 23 (2): 131-149 (1997)Sequential equivalence checking based on structural similarities.. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (7): 814-819 (2000)A Constructive Method for Exploiting Code Motion., , , , und . ISSS, Seite 51-56. ACM / IEEE Computer Society, (1996)Identification and Exploitation of Symmetries in DSP Algorithms., , , und . DATE, Seite 602-608. IEEE Computer Society / ACM, (1999)