Exploiting Concurrency Efficiently and Correctly - (EC)2 Workshop

viewing all listings

Vishwanath, V., Zuck, L.
Verification of Data Intensive High Performance Computing Middleware
Exploiting Concurrency Efficiently & Correctly (EC)2 Workshop held in conjunction with 20th International Conference on Computer Aided Verification, Princeton, NJ, 07/07/2008 - 07/08/2008

viewing all listings