2009 |
5 | EE | Sriram Sambamurthy,
Sankar Gurumurthy,
Ramtilak Vemu,
Jacob A. Abraham:
Functionally valid gate-level peak power estimation for processors.
ISQED 2009: 753-758 |
2008 |
4 | EE | Sankar Gurumurthy,
Ramtilak Vemu,
Jacob A. Abraham,
Suriyaprakash Natarajan:
On efficient generation of instruction sequences to test for delay defects in a processor.
ACM Great Lakes Symposium on VLSI 2008: 279-284 |
2007 |
3 | EE | Sankar Gurumurthy,
Ramtilak Vemu,
Jacob A. Abraham,
Daniel G. Saab:
Automatic Generation of Instructions to Robustly Test Delay Defects in Processors.
European Test Symposium 2007: 173-178 |
2003 |
2 | EE | Sankar Gurumurthy,
Orna Kupferman,
Fabio Somenzi,
Moshe Y. Vardi:
On Complementing Nondeterministic Büchi Automata.
CHARME 2003: 96-110 |
2002 |
1 | EE | Sankar Gurumurthy,
Roderick Bloem,
Fabio Somenzi:
Fair Simulation Minimization.
CAV 2002: 610-624 |