Search the dblp DataBase

Publications of Author

1. Yakov Zinder, Gaurav Singh, René Weiskircher
   A New Method of Scheduling UET Tasks on Parallel Machines. [Citation Graph (0, 0)][DBLP]
   IMECS, 2006, pp:796-801 [Conf]
   
2. Gaurav Singh
   Performance of critical path type algorithms for scheduling on parallel processors. [Citation Graph (0, 0)][DBLP]
   Oper. Res. Lett., 2001, v:29, n:1, pp:17-30 [Journal]
   
3. Gaurav Singh
   Scheduling UET-UCT outforests to minimize maximum lateness. [Citation Graph (0, 0)][DBLP]
   European Journal of Operational Research, 2005, v:165, n:2, pp:468-478 [Journal]
   
4. G. Singh, Sandeep K. Shukla
   Low-power hardware synthesis from TRS-based specifications. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2006, pp:49-58 [Conf]
   
5. 
   Scheduling Meetings at Trade Events with Complex Preferences. [Citation Graph (, )][DBLP]
   
   
6. 
   Complexity of Scheduling in Synthesizing Hardware from Concurrent Action Oriented Specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   Industrial strength refinement checking. [Citation Graph (, )][DBLP]
   
   
8. 
   Collaborative Resource Constraint Scheduling with a Fractional Shared Resource. [Citation Graph (, )][DBLP]
   
   
9. 
   Power estimation methodology for a high-level synthesis framework. [Citation Graph (, )][DBLP]
   
   
10. 
    Model Checking Bluespec Specified Hardware Designs. [Citation Graph (, )][DBLP]
    
    
11. 
    Verifying Compiler Based Refinement of BluespecTM. [Citation Graph (, )][DBLP]
    
    
12. 
    Taming Wind Energy with Battery Storage. [Citation Graph (, )][DBLP]