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)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)Elastic Circuits., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 28 (10): 1437-1455 (2009)Machine Learning for Microprocessor Performance Bug Localization., , , , и . CoRR, (2023)Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques., , , и . ACM Trans. Embed. Comput. Syst., 22 (2): 27:1-27:3 (марта 2023)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)Timing-driven N-way decomposition., , и . ACM Great Lakes Symposium on VLSI, стр. 363-368. ACM, (2009)