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

First Page		Document Content
Date: 2012-09-12 21:47:09		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 Source URL: crd.lbl.gov Download Document from Source Website File Size: 187,45 KB Share Document on Facebook