Author of the publication

Hardware and Petri Nets: Application to Asynchronous Circuit Design.

, , , , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 1-15. Springer, (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modelling and verification of an atomic action protocol implemented in Ada., , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)Evaluation of energy-recovering interconnects for low-power 3D stacked ICs., , , and . 3DIC, page 1-5. IEEE, (2009)Global interconnections in FPGAs: modeling and performance analysis., , , , , and . SLIP, page 51-58. ACM, (2008)Signal Graphs: From Self-Timed to Timed Ones., and . PNPM, page 199-206. IEEE Computer Society, (1985)Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis., , , , and . DAC, page 63-66. ACM Press, (1996)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)Analyzing Semantics of Concurrent Hardware Specifications., and . ICPP (3), page 211-218. Pennsylvania State University Press, (1989)0-271-00686-2.Low Latency Synchronization Through Speculation., and . PATMOS, volume 3254 of Lecture Notes in Computer Science, page 278-288. Springer, (2004)Hardware and Petri Nets: Application to Asynchronous Circuit Design., , , , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 1-15. Springer, (2000)PSK Signalling on NoC Buses., , , and . PATMOS, volume 3728 of Lecture Notes in Computer Science, page 286-296. Springer, (2005)