Back to Results
First PageMeta Content



Corvette: Program Correctness, Verification and Testing for Exascale Koushik Sen and James Demmel (UC Berkeley) 1. Motivation q  High performance scientific computing"
Add to Reading List

Document Date: 2012-09-12 21:47:09


Open Document

File Size: 187,45 KB

Share Result on Facebook