 | 2009 |
|---|
| 7 |       | Sriram Sambamurthy,
Sankar Gurumurthy,
Ramtilak Vemu,
Jacob A. Abraham:
Functionally valid gate-level peak power estimation for processors.
ISQED 2009: 753-758 |
| 2008 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
| 4 | | Ramtilak Vemu,
Sankar Gurumurthy,
Jacob A. Abraham:
ACCE: Automatic correction of control-flow errors.
ITC 2007: 1-10 |
| 2006 |
|---|
| 3 | | Sankar Gurumurthy,
Shobha Vasudevan,
Jacob A. Abraham:
Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor.
ITC 2006: 1-9 |
| 2003 |
|---|
| 2 | | Sankar Gurumurthy,
Orna Kupferman,
Fabio Somenzi,
Moshe Y. Vardi:
On Complementing Nondeterministic Büchi Automata.
CHARME 2003: 96-110 |
| 2002 |
|---|
| 1 | | Sankar Gurumurthy,
Roderick Bloem,
Fabio Somenzi:
Fair Simulation Minimization.
CAV 2002: 610-624 |
Data released under the ODC-BY 1.0 license — See also our legal information page