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)Time elastic digital systems and Petri Nets., и . ACSD, стр. 1-2. IEEE, (2008)Characterizing speed-independence of high-level designs., и . ASYNC, стр. 44-53. IEEE, (1994)Automatic microarchitectural pipelining., , , и . DATE, стр. 961-964. IEEE Computer Society, (2010)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)Synthesis of synchronous elastic architectures., , и . DAC, стр. 657-662. ACM, (2006)Timing-driven N-way decomposition., , и . ACM Great Lakes Symposium on VLSI, стр. 363-368. ACM, (2009)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)A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings., , , и . Application and Theory of Petri Nets, том 1091 из Lecture Notes in Computer Science, стр. 346-365. Springer, (1996)