"Verification of Data Intensive High Performance Computing Middleware"

Verification of Data Intensive High Performance Computing Middleware

Vishwanath, V., Zuck, L.

• Publication: Princeton, NJ
• Publication: www.cs.utah.edu/ec2
• PDF: vishwanath_ec2_2008.pdf

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).