Verification of Data Intensive High Performance Computing Middleware
July 7th, 2008
Categories: Networking, Software, Supercomputing
Authors
Vishwanath, V., Zuck, L.About
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).
Resources
Citation
Vishwanath, V., Zuck, L., Verification of Data Intensive High Performance Computing Middleware, Exploiting Concurrency Efficiently & Correctly, (EC)2 Workshop held with 20th International Conference on Computer Aided Verification, Princeton, NJ, July 7th, 2008.