|
Search the dblp DataBase
Sankar Gurumurthy:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
Fair Simulation Minimization. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:610-624 [Conf]
- Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
On Complementing Nondeterministic Büchi Automata. [Citation Graph (0, 0)][DBLP] CHARME, 2003, pp:96-110 [Conf]
- Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham, Daniel G. Saab
Automatic Generation of Instructions to Robustly Test Delay Defects in Processors. [Citation Graph (0, 0)][DBLP] European Test Symposium, 2007, pp:173-178 [Conf]
On efficient generation of instruction sequences to test for delay defects in a processor. [Citation Graph (, )][DBLP]
Functionally valid gate-level peak power estimation for processors. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|