Author of the publication

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

Testing redundant asynchronous circuits by variable phase splitting., , and . EURO-DAC, page 328-333. IEEE Computer Society, (1994)Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics., and . CAV, volume 6174 of Lecture Notes in Computer Science, page 321-338. Springer, (2010)Technology Mapping for Speed-Independent Circuits: Decomposition and Resynthesis., , , , and . ASYNC, page 240-253. IEEE Computer Society, (1997)Checking signal transition graph implementability by symbolic BDD traversal., , , , , and . ED&TC, page 325-332. IEEE Computer Society, (1995)A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms., , , and . DAC, page 62:1-62:6. ACM, (2015)Dynamic voltage and frequency scaling for shared resources in multicore processor designs., , , , , , , and . DAC, page 114:1-114:7. ACM, (2013)Microarchitectural Transformations Using Elasticity., , , and . JETC, 7 (4): 18:1-18:24 (2011)Synchronous Elastic Circuits with Early Evaluation and Token Counterflow., and . DAC, page 416-419. IEEE, (2007)HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs., , , and . DAC, page 80:1-80:6. ACM, (2017)Coupling Asynchrony and Interrupts: Place Chart Nets., , , , , and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 328-347. Springer, (1997)