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.

 

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

Formal method for self-timed design., , и . EURO-DAC, стр. 197-201. EEE Computer Society, (1991)A Scheduling Strategy for Synchronous Elastic Designs., , , и . Fundam. Informaticae, 108 (1-2): 1-21 (2011)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)OR Causality: Modelling and Hardware Implementation., , , и . Application and Theory of Petri Nets, том 815 из Lecture Notes in Computer Science, стр. 568-587. Springer, (1994)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)Synthesis of synchronous elastic architectures., , и . DAC, стр. 657-662. ACM, (2006)Automatic microarchitectural pipelining., , , и . DATE, стр. 961-964. IEEE Computer Society, (2010)Compositional performance verification of NoC designs., , , и . MEMOCODE, стр. 1-10. IEEE, (2012)Time elastic digital systems and Petri Nets., и . ACSD, стр. 1-2. IEEE, (2008)