Verification of Data Intensive High Performance Computing Middleware
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