PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Moundanos, Dinos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A new scheme to compute variable orders for binary decision diagrams.

, , , , und . Great Lakes Symposium on VLSI, Seite 105-108. IEEE, (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.

Keine Personen gefunden für den Autorennamen Moundanos, Dinos
Eine Person hinzufügen mit dem Namen Moundanos, Dinos
 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors., , und . ICCD, Seite 532-537. IEEE Computer Society, (1995)Using Verification Technology for Validation Coverage Analysis and Test Generation., und . VTS, Seite 254-259. IEEE Computer Society, (1998)Analysis of composition complexity and how to obtain smaller canonical graphs., , , , und . DAC, Seite 681-686. ACM, (2000)Efficient variable ordering and partial representation algorithm., , , , , und . VLSI Design, Seite 81-86. IEEE Computer Society, (1995)A new scheme to compute variable orders for binary decision diagrams., , , , und . Great Lakes Symposium on VLSI, Seite 105-108. IEEE, (1994)Distributed Binary Decision Diagrams for Verification of Large Circuit., , und . ICCD, Seite 365-370. IEEE Computer Society, (1996)Abstraction Techniques for Validation Coverage Analysis and Test Generation., , und . IEEE Trans. Computers, 47 (1): 2-14 (1998)Formal Checking of Properties in Complex Systems Using Abstractions., und . Great Lakes Symposium on VLSI, Seite 280-283. IEEE Computer Society, (1999)On Design Validation Using Verification Technology., und . J. Electronic Testing, 15 (1-2): 173-189 (1999)A Unified Framework for Design Validation and Manufacturing Test., , und . ITC, Seite 875-884. IEEE Computer Society, (1996)