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)A general model for performance optimization of sequential systems., , , and . ICCAD, page 362-369. IEEE Computer Society, (2007)Correct-by-construction microarchitectural pipelining., , , and . ICCAD, page 434-441. IEEE Computer Society, (2008)HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs., , , and . DAC, page 80:1-80:6. ACM, (2017)Dynamic voltage and frequency scaling for shared resources in multicore processor designs., , , , , , , and . DAC, page 114:1-114:7. ACM, (2013)A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms., , , and . DAC, page 62:1-62:6. ACM, (2015)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)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)