July 7th, 2008
Categories: Networking, Software, Supercomputing
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).
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.