PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Mokhov, Andrey"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient composition of scenario-based hardware specifications.

, , und . IET Computers & Digital Techniques, 13 (2): 57-69 (2019)

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.

Andrey Belkin University of Stuttgart

Jun. -Prof. Dr. -Ing. Andrey Morozov University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets., , und . ACSD, Seite 100-109. IEEE Computer Society, (2015)Towards power-elastic systems through concurrency management., , , , , , , und . IET Computers & Digital Techniques, 6 (1): 33-42 (2012)Efficient composition of scenario-based hardware specifications., , und . IET Computers & Digital Techniques, 13 (2): 57-69 (2019)Concurrent Multiresource Arbiter: Design and Applications., , , , und . IEEE Trans. Computers, 62 (1): 31-44 (2013)Synthesis of Processor Instruction Sets from High-Level ISA Specifications., , , , , und . IEEE Trans. Computers, 63 (6): 1552-1566 (2014)A scalable physical model for Nano-Electro-Mechanical relays., , und . PATMOS, Seite 1-7. IEEE, (2014)Design of safety critical systems by refinement., , , und . DATE, Seite 1-4. European Design and Automation Association, (2014)On Dual-Rail Control Logic for Enhanced Circuit Robustness., , , und . ACSD, Seite 112-121. IEEE Computer Society, (2012)Mining Conditional Partial Order Graphs from Event Logs., , und . T. Petri Nets and Other Models of Concurrency, (2016)Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays., , , und . ISVLSI, Seite 158-163. IEEE Computer Society, (2017)