Autor der Publikation

Guest Editor's Introduction: Roadmaps and Visions for Design and Test.

, und . IEEE Des. Test Comput., 18 (6): 4-5 (2001)

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

Verification of Protocols Using Symbolic Execution., und . Comput. Networks, (1978)Logic Synthesis Through Local Transformations., , , und . IBM J. Res. Dev., 25 (4): 272-280 (1981)LSS: A system for production logic synthesis., , , , und . IBM J. Res. Dev., 44 (1): 157-166 (2000)LSS: A System for Production Logic Synthesis., , , , und . IBM J. Res. Dev., 28 (5): 537-545 (1984)Using Machine Descriptions in Program Verification., , und . Jerusalem Conference on Information Technology, Seite 515-522. North-Holland, (1978)Global Flow Analysis in Automatic Logic Design., , und . IEEE Trans. Computers, 35 (1): 77-81 (1986)Guest Editor's Introduction: Roadmaps and Visions for Design and Test., und . IEEE Des. Test Comput., 18 (6): 4-5 (2001)Guest Editors' Introduction: System IC Design Challenges beyond 32 nm., und . IEEE Des. Test Comput., 25 (4): 294-295 (2008)Microprogram verification considered necessary., , und . AFIPS National Computer Conference, Volume 47 von AFIPS Conference Proceedings, Seite 657-664. AFIPS Press, (1978)Architectures for Silicon Nanoelectronics and Beyond., , , , , , , und . Computer, 40 (1): 25-33 (2007)