We stand with Ukraine  

Gaurav Singh

Affiliations:
  • Intel Corporation, Austin, USA
  • State University, Virginia Technology, Virginia Polytechnic Institute, CESCA, FERMAT Lab, Blacksburg, VA, USA


According to our database1, Gaurav Singh authored at least 10 papers between 2005 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications.
[BibTeX]
[DOI]
Gaurav Singh
,
Sandeep Kumar Shukla
Springer, ISBN: 978-1-4419-6480-9, 2010

2009
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.
[BibTeX]
[DOI]
Gaurav Singh
,
Jacob B. Schwartz
,
Sandeep K. Shukla
J. Low Power Electron., 2009

Power estimation methodology for a high-level synthesis framework.
[BibTeX]
[DOI]
Sumit Ahuja
,
Deepak Mathaikutty
,
Gaurav Singh
,
Joe Stetzer
,
Sandeep K. Shukla
,
Ajit Dingankar
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2008
Verifying Compiler Based Refinement of BluespecTM.
[BibTeX]
[DOI]
Gaurav Singh
,
Sandeep K. Shukla
Proceedings of the Model Checking Software, 2008

2007
Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications.
[BibTeX]
[DOI]
Gaurav Singh
,
Jacob B. Schwartz
,
Sumit Ahuja
,
Sandeep K. Shukla
J. Low Power Electron., 2007

Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS).
[BibTeX]
[DOI]
Gaurav Singh
,
Sandeep K. Shukla
Int. J. Embed. Syst., 2007

Model Checking Bluespec Specified Hardware Designs.
[BibTeX]
[DOI]
Gaurav Singh
,
Sandeep K. Shukla
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications.
[BibTeX]
[DOI]
Gaurav Singh
,
S. S. Ravi
,
Sumit Ahuja
,
Sandeep K. Shukla
Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

2006
Low-power hardware synthesis from TRS-based specifications.
[BibTeX]
[DOI]
Gaurav Singh
,
Sandeep K. Shukla
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005
An overview of the competitive and adversarial approaches to designing dynamic power management strategies.
[BibTeX]
[DOI]
Sandy Irani
,
Gaurav Singh
,
Sandeep K. Shukla
,
Rajesh K. Gupta
IEEE Trans. Very Large Scale Integr. Syst., 2005


  Loading...