( en | de | ru )

 

Disambiguierung von "Hulgaard, Henrik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Practical applications of an efficient time separation of events algorithm.

, , , und . ICCAD, Seite 146-151. IEEE Computer Society / ACM, (1993)

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.

Henrik Hoffmann

Henrik Helliesen

Henrik Heinzelmann

Henrik Selver

Henrik Reuter

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesizing Delay Insensitive Circuits from Verified Programs., , und . Research Directions in High-Level Parallel Programming Languages, Volume 574 von Lecture Notes in Computer Science, Seite 326-337. Springer, (1991)Practical applications of an efficient time separation of events algorithm., , , und . ICCAD, Seite 146-151. IEEE Computer Society / ACM, (1993)Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation, , , , , und . Proceedings of the International Conference on Economic, Technical and Organisational Aspects of Product Configuration Systems, Seite 131-138. (2004)Verification of Large State/Event Systems Using Compositionality and Dependency Analysis., , , , , und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 201-216. Springer, (1998)Testing asynchronous circuits: A survey., , und . Integr., 19 (3): 111-131 (1995)Equivalence checking of hierarchical combinational circuits., , und . ICECS, Seite 355-360. IEEE, (1999)Comparing two implementations of a Complete and Backtrack-free Interactive Configurator, , , , , und . Proceedings of the Workshop on CSP Techniques with Immediate Application (CP04), (2004)Verification of Hierarchical State/Event Systems Using Reusability and Compositionality., , , , und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 163-177. Springer, (1999)Difference Decision Diagrams., , , und . CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 111-125. Springer, (1999)Bounded delay timing analysis of a class of CSP programs with choice., und . ASYNC, Seite 2-11. IEEE, (1994)