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

Related Entries




Related Categories