|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Gaurav Singh, David Sier, Andreas T. Ernst, Olena Gavriliouk, Rob Oyston, Tracey Giles, Palitha Welgama |
A mixed integer programming model for long term capacity expansion planning: A case study from The Hunter Valley Coal Chain.  |
European Journal of Operational Research  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Andreas T. Ernst |
Resource constraint scheduling with a fractional shared resource. |
Oper. Res. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, René Weiskircher |
A multi-agent system for decentralised fractional shared resource constraint scheduling. |
Web Intelligence and Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anirvana Mishra, Gaurav Singh, Akshay Bahl |
A novel approach to keyphrase extraction using augmented transition networks and statistical tools. |
Bangalore Compute Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiping Chen, Chen Wang, Dongxi Liu, Gaurav Singh |
Secure Multi-party Collaboration Systems in Supply Chain Management. |
LISS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Anirvana Mishra, Gaurav Singh |
Improving keyphrase extraction by using document topic information. |
GrC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep Kumar Shukla |
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications. |
|
2010 |
DOI RDF |
|
| 1 | Yakov Zinder, Julia Memar, Gaurav Singh |
Discrete Optimization with Polynomially Detectable Boundaries and Restricted Level Sets. |
COCOA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Jacob B. Schwartz, Sandeep K. Shukla |
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications. |
J. Low Power Electronics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Ahuja, Deepak Mathaikutty, Gaurav Singh, Joe Stetzer, Sandeep K. Shukla, Ajit Dingankar |
Power estimation methodology for a high-level synthesis framework. |
ISQED |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse D. Bingham, John Erickson, Gaurav Singh, Flemming Andersen |
Industrial strength refinement checking. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Ernst, Gaurav Singh, René Weiskircher |
Scheduling Meetings at Trade Events with Complex Preferences. |
ICAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Verifying Compiler Based Refinement of BluespecTM. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
Bluespec System Verilog (BSV), Formal Verification, Hardware Designs, SPIN Model Checker |
| 1 | Gaurav Singh, René Weiskircher |
Collaborative Resource Constraint Scheduling with a Fractional Shared Resource. |
IAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Jacob B. Schwartz, Sumit Ahuja, Sandeep K. Shukla |
Techniques for Power-Aware Hardware Synthesis from Concurrent Action Oriented Specifications. |
J. Low Power Electronics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Algorithms for low power hardware synthesis from Concurrent Action Oriented Specifications (CAOS). |
IJES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, S. S. Ravi, Sumit Ahuja, Sandeep K. Shukla |
Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. |
Power-aware Computing Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Model Checking Bluespec Specified Hardware Designs. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas T. Ernst, Gaurav Singh |
Taming Wind Energy with Battery Storage. |
OR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh, Sandeep K. Shukla |
Low-power hardware synthesis from TRS-based specifications. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yakov Zinder, Gaurav Singh, René Weiskircher |
A New Method of Scheduling UET Tasks on Parallel Machines. |
IMECS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Gaurav Singh |
Scheduling UET-UCT outforests to minimize maximum lateness. |
European Journal of Operational Research |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandy Irani, Gaurav Singh, Sandeep K. Shukla, Rajesh K. Gupta |
An overview of the competitive and adversarial approaches to designing dynamic power management strategies. |
IEEE Trans. VLSI Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Singh |
Performance of critical path type algorithms for scheduling on parallel processors. |
Oper. Res. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")