BibSonomy :: author  ::

bookmarks

publications

(351)

• Review computation engineering: applied automata theory and logic.
  Ganesh Gopalakrishnan SIGACT News 39 30-32 (2008)
  to dblp by dblp on 2008-11-25 00:00:00
  | URL | BibTeX  
• Ground Penetrating Radar (GPR) based system for nondestructive detection of interior defects in wooden logs.
  Dayakar Devaru and Udaya B. Halabe and Bhaskaran Gopalakrishnan and Sachin Agrawal IJMR 3 425-451 (2008)
  to dblp by dblp on 2008-11-14 00:00:00
  | URL | BibTeX  
• Runtime verification methods for MPI.
  Ganesh Gopalakrishnan and Robert M. Kirby IPDPS 1-5 (2008)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• Designing passive synchronization for MPI-2 one-sided communication to maximize overlap.
  Gopalakrishnan Santhanaraman and Sundeep Narravula and Dhabaleswar K. Panda IPDPS 1-11 (2008)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• On the concept of simultaneous execution of multiple applications on hierarchically based cluster and the silicon operating system.
  N. Venkateswaran and V. K. Elangovan and K. Ganesan and T. R. S. Sagar and S. Aananthakrishanan and S. Ramalingam and S. Gopalakrishnan and M. Manivannan and D. Srinivasan and V. Krishnamurthy and K. Chandrasekar and V. Venkatesan and B. Subramaniam and V. Sangkar and A. Vasudevan and S. Ganapathy and S. Murali and M. Thyagarajan IPDPS 1-8 (2008)
  to dblp by dblp on 2008-10-31 00:00:00
  | URL | BibTeX  
• Workload characterization of selected JEE-based Web 2.0 applications.
  Priya Nagpurkar and William Horn and U. Gopalakrishnan and Niteesh Dubey and Joefon Jann and Pratap Pattnaik IISWC 109-118 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.
  Chao Wang and Yu Yang and Aarti Gupta and Ganesh Gopalakrishnan ATVA 126-140 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication.
  Rahul Kumar and Amith R. Mamidala and Matthew J. Koop and Gopalakrishnan Santhanaraman and Dhabaleswar K. Panda PVM/MPI 185-193 (2008)
  to dblp by dblp on 2008-09-17 00:00:00
  | URL | BibTeX  
• Implementing Efficient Dynamic Formal Verification Methods for MPI Programs.
  Sarvani S. Vakkalanka and Michael DeLisi and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur and William Gropp PVM/MPI 248-256 (2008)
  to dblp by dblp on 2008-09-17 00:00:00
  | URL | BibTeX  
• A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs.
  Subodh Sharma and Sarvani S. Vakkalanka and Ganesh Gopalakrishnan and Robert M. Kirby and Rajeev Thakur and William Gropp PVM/MPI 265-273 (2008)
  to dblp by dblp on 2008-09-17 00:00:00
  | URL | BibTeX