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

evl | electronic visualization laboratory | 312.996.3002 | fax 312.413.7585

visiting evl