PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cerny, Eduard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local microcode generation in system design.

, , , und . Code Generation for Embedded Processors, Seite 171-187. Kluwer, (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.

Dr. -Ing. Eduard Rott University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

MDG-Based State Enumeration By Retiming And Circuit Transformation., , , , und . Journal of Circuits, Systems, and Computers, 13 (5): 1111-1132 (2004)Local microcode generation in system design., , , und . Code Generation for Embedded Processors, Seite 171-187. Kluwer, (1994)Synthesis of Minimal Binary Decision Trees., , und . IEEE Trans. Computers, 28 (7): 472-482 (1979)Self-Adjusting Networks for VLSI Simulation., und . IEEE Trans. Computers, 36 (9): 1114-1120 (1987)An Approach to Unified Methodology of Combinational Switching Circuits., und . IEEE Trans. Computers, 26 (8): 745-756 (1977)Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)., , , und . Comput. J., 47 (1): 71-84 (2004)Some Experience with the Use of Formal Specifications., , , , , , , , und . PSTV, Seite 171-185. North-Holland, (1982)A Test Design Methodology for Protocol Testing., , und . IEEE Trans. Software Eng., 13 (5): 518-531 (1987)Semantics and verification of action diagrams with linear timing., und . ACM Trans. Design Autom. Electr. Syst., 3 (1): 21-50 (1998)Some issues in protocol implementation testing.. Computer Communication Review, 14 (2): 259-260 (1984)