Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. - Open frame - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-01-22 19:21:52 Circuit complexity NC Mathematics Theoretical computer science Numerical software Lemmas Numerical linear algebra		Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. Add to Reading List Source URL: publish.illinois.edu Download Document from Source Website File Size: 344,84 KB Share Document on Facebook