Authors: Vishwanath, V., Zuck, L.

Publication: Exploiting Concurrency Efficiently & Correctly, (EC)2 Workshop held with 20th International Conference on Computer Aided Verification, Princeton, NJ

In this paper, we present our experiences with using verification techniques in Data Intensive High Performance Computing. We discuss the requirements from verification tools to be effectively used in high performance computing (HPC).

Date: July 7, 2008 - July 8, 2008

Document: View PDF

Related Entries

Directory:

• Venkatram Vishwanath

Events:

• Exploiting Concurrency Efficiently and Correctly - (EC)2 Workshop

Research:

• OptIPuter and Global Lambda Visualization Facility (GLVF)
• Advanced Networking Tools Deployed at NASA
• TransLight / StarLight℠
• The OptIPuter
• The OptIPlanet Collaboratory
• View more…

Related Categories

• Networking
• Software
• Supercomputing