Autor der Publikation

Some heuristics for generating tree-like FBDD types.

, , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 127-130 (1996)

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

Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1994)Some Heuristics for Generating Tree-like FBDD Types, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1994)Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits., , und . DAC, Seite 408-413. ACM Press, (1995)Global rebuilding of OBDD's avoiding memory requirement maxima., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 15 (1): 131-134 (1996)The DualGate Lock-Keeper: A Highly Efficient, Flexible and Applicable Network Security Solution., , , , und . SNPD, Seite 152-159. ACIS, (2003)Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima, , und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1995)The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use, und . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1997)The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use., , und . ECDL, Volume 1324 von Lecture Notes in Computer Science, Seite 405-421. Springer, (1997)One step further: extending electronic submission into the reviewing process., und . SIGDOC, Seite 65-69. ACM, (1999)Global rebuilding of OBDDs Avoiding Memory Requirement Maxima., , und . CAV, Volume 939 von Lecture Notes in Computer Science, Seite 4-15. Springer, (1995)