dblp.uni-trier.dewww.uni-trier.de

Sankar Gurumurthy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EESriram Sambamurthy, Sankar Gurumurthy, Ramtilak Vemu, Jacob A. Abraham: Functionally valid gate-level peak power estimation for processors. ISQED 2009: 753-758
2008
4EESankar 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
3EESankar 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
2EESankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi: On Complementing Nondeterministic Büchi Automata. CHARME 2003: 96-110
2002
1EESankar Gurumurthy, Roderick Bloem, Fabio Somenzi: Fair Simulation Minimization. CAV 2002: 610-624

Coauthor Index

1Jacob A. Abraham [3] [4] [5]
2Roderick Bloem [1]
3Orna Kupferman [2]
4Suriyaprakash Natarajan [4]
5Daniel G. Saab [3]
6Sriram Sambamurthy [5]
7Fabio Somenzi [1] [2]
8Moshe Y. Vardi [2]
9Ramtilak Vemu [3] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)