Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl - substantial equivalence - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2017-02-09 10:23:03 Operator theory Symbol Operator Computability theory		Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Download Document from Source Website File Size: 306,34 KB Share Document on Facebook