Verification of Data Intensive High Performance Computing Middleware
 

authors: Vishwanath, V., Zuck, L.

Exploiting Concurrency Efficiently & Correctly (EC)2 Workshop held in conjunction 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).

start date: 07/07/2008
end date: 07/08/2008
 
paper(s):
pdf (81 KB)<
 
 
related projects:
The OptIPuter
LambdaRAM
Advanced Networking Research
TransLight / StarLight℠
Advanced Networking Tools Deployed at NASA
OptIPuter and Global Lambda Visualization Facility (GLVF)
The OptIPlanet Collaboratory
related info:
1 associated event(s)
 
related categories:
software
networking
supercomputing<