PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cerny, Eduard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bounding Switching Activity in CMOS Circuits Using Constraint Resolution.

, , , und . ED&TC, Seite 294-301. IEEE Computer Society, (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.

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)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)Synthesis of Minimal Binary Decision Trees., , und . IEEE Trans. Computers, 28 (7): 472-482 (1979)Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)., , , und . Comput. J., 47 (1): 71-84 (2004)A Test Design Methodology for Protocol Testing., , und . IEEE Trans. Software Eng., 13 (5): 518-531 (1987)Some Experience with the Use of Formal Specifications., , , , , , , , und . PSTV, Seite 171-185. North-Holland, (1982)Local microcode generation in system design., , , und . Code Generation for Embedded Processors, Seite 171-187. Kluwer, (1994)Some issues in protocol implementation testing.. Computer Communication Review, 14 (2): 259-260 (1984)Semantics and verification of action diagrams with linear timing., und . ACM Trans. Design Autom. Electr. Syst., 3 (1): 21-50 (1998)