Author of the publication

Faster maximum and minimum mean cycle algorithms for system-performance analysis.

, and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (10): 889-899 (1998)

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

Faster maximum and minimum mean cycle algorithms for system-performance analysis., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 17 (10): 889-899 (1998)BALBOA: a component-based design environment for system models., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 22 (12): 1597-1612 (2003)Consistent Truncation to Three Dimensional (Super-)gravity, and . (Oct 23, 2007)Logarithmic Corrections to N=4 and N=8 Black Hole Entropy: A One Loop Test of Quantum Gravity, , , and . (Aug 3, 2011)Logarithmic Corrections to Extremal Black Hole Entropy from Quantum Entropy Function, , and . Journal of High Energy Physics, (Aug 24, 2010)Dynamic slack reclamation with procrastination scheduling in real-time embedded systems., and . DAC, page 111-116. ACM, (2005)A survey of techniques for energy efficient on-chip communication., , and . DAC, page 900-905. ACM, (2003)Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)Design and implementation of a hierarchical exception handling extension to systemC., and . CASES, page 80-84. ACM, (2000)Managing plug-loads for demand response within buildings., , , , and . BuildSys@SenSys, page 13-18. ACM, (2011)