( en | de | ru )

 

Disambiguierung von "Brayton, Robert K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exact Minimum Cycle Times for Finite State Machines.

, , und . DAC, Seite 100-105. ACM Press, (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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

Weitere Publikationen von Autoren mit dem selben Namen

DAG-aware AIG rewriting a fresh look at combinational logic synthesis., , und . DAC, Seite 532-535. ACM, (2006)River PLAs: a regular circuit structure., und . DAC, Seite 201-206. ACM, (2002)Generalized cofactoring for logic function evaluation., , und . DAC, Seite 155-158. ACM, (2003)Timed Boolean functions - a unified formalism for exact timing analysis., und . The Kluwer international series in engineering and computer science Kluwer, (1994)Component-Based Design by Solving Language Equations., , , , und . Proc. IEEE, 103 (11): 2152-2167 (2015)A new algorithm for the largest compositionally progressive solution of synchronous language equations., , , , und . ACM Great Lakes Symposium on VLSI, Seite 441-444. ACM, (2007)Explicit and implicit algorithms for binate covering problems., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)Theory of safe replacements for sequential circuits., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 20 (2): 249-265 (2001)NSF Workshop on EDA: Past, Present, and Future (Part 1)., und . IEEE Des. Test Comput., 27 (2): 68-74 (2010)Solving the State Assignment Problem for Signal Transition Graphs., , , und . DAC, Seite 568-572. IEEE Computer Society Press, (1992)