From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Compositional performance verification of NoC designs., , , и . MEMOCODE, стр. 1-10. IEEE, (2012)Characterizing speed-independence of high-level designs., и . ASYNC, стр. 44-53. IEEE, (1994)Automatic microarchitectural pipelining., , , и . DATE, стр. 961-964. IEEE Computer Society, (2010)Time elastic digital systems and Petri Nets., и . ACSD, стр. 1-2. IEEE, (2008)Formal method for self-timed design., , и . EURO-DAC, стр. 197-201. EEE Computer Society, (1991)MOBO-NFV: Automated Tuning of a Network Function Virtualization System using Multi-Objective Bayesian Optimization., , , , , , , , и . IM, стр. 90-98. IEEE, (2021)On the Models for Asynchronous Circuit Behaviour with OR Causality., , , , и . Formal Methods Syst. Des., 9 (3): 189-233 (1996)A Scheduling Strategy for Synchronous Elastic Designs., , , и . Fundam. Informaticae, 108 (1-2): 1-21 (2011)The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems., , , , и . Journal of Circuits, Systems, and Computers, 8 (1): 67-118 (1998)Synthesis of synchronous elastic architectures., , и . DAC, стр. 657-662. ACM, (2006)