First Page | Document Content | |
---|---|---|
Date: 2016-01-22 19:21:52Circuit 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 ListSource URL: publish.illinois.eduDownload Document from Source WebsiteFile Size: 344,84 KBShare Document on Facebook |