1![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 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](https://www.pdfsearch.io/img/51856fe13e7e5d119ce8d7677665e521.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2017-02-09 10:23:03
|
---|
2![Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi](https://www.pdfsearch.io/img/758aec2b9e9afc97677811c6c87d027b.jpg) | Add to Reading ListSource URL: lqchen.github.ioLanguage: English - Date: 2018-08-14 11:59:25
|
---|
3![2018 USA Curling College Championship Guidelines AugustUSA Curling National Office: 5525 Clem’s Way, Stevens Point, WI 2018 USA Curling College Championship Guidelines AugustUSA Curling National Office: 5525 Clem’s Way, Stevens Point, WI](https://www.pdfsearch.io/img/f9a128966a197f53d1bbe9ca74175066.jpg) | Add to Reading ListSource URL: www.collegecurlingusa.orgLanguage: English - Date: 2017-08-23 13:39:20
|
---|
4![TERRA STATE COMMUNITY COLLEGE Terra State Community College has a special offer to visit Cedar Point and ride the Tallest, Fastest, Wildest coaster Steel Vengeance! The world’s first hyper-hybrid coaster that breaks 10 TERRA STATE COMMUNITY COLLEGE Terra State Community College has a special offer to visit Cedar Point and ride the Tallest, Fastest, Wildest coaster Steel Vengeance! The world’s first hyper-hybrid coaster that breaks 10](https://www.pdfsearch.io/img/be4efdc9ab4713131f7590d77a85593a.jpg) | Add to Reading ListSource URL: www.terra.edu- Date: 2018-05-25 10:37:27
|
---|
5![The Mediasphere school and college student who had the bandwidth (and most did: bandwidth was a major recruiting point for colleges and universities afterwas into acquiring and trading MP3 music files. This audio The Mediasphere school and college student who had the bandwidth (and most did: bandwidth was a major recruiting point for colleges and universities afterwas into acquiring and trading MP3 music files. This audio](https://www.pdfsearch.io/img/b84e7bad947a8e348c384a7ad0f9109b.jpg) | Add to Reading ListSource URL: www.readfilm.comLanguage: English - Date: 2010-09-14 00:46:00
|
---|
6![Statistical Inference and Exact Saddle point Approximations Peter Harremoës GSK Department Copenhagen Business College Copenhagen, Denmark Statistical Inference and Exact Saddle point Approximations Peter Harremoës GSK Department Copenhagen Business College Copenhagen, Denmark](https://www.pdfsearch.io/img/72503c468ed298f9f4f19dacf7f159fa.jpg) | Add to Reading ListSource URL: www.harremoes.dkLanguage: English - Date: 2018-02-22 06:00:15
|
---|
7![TRACK THE ROUTE ONLINE: Starting Point College Avenue Campus TRACK THE ROUTE ONLINE: Starting Point College Avenue Campus](https://www.pdfsearch.io/img/cdc538325b67523cabe1a3b5189ba56a.jpg) | Add to Reading ListSource URL: rudots.rutgers.eduLanguage: English - Date: 2017-01-24 09:57:24
|
---|
8![About the URI Outreach Center – “The Outreach Center offers a variety of programs and services and also fields requests for assistance from College and Cooperative Extension experts. The Center also serves as a point About the URI Outreach Center – “The Outreach Center offers a variety of programs and services and also fields requests for assistance from College and Cooperative Extension experts. The Center also serves as a point](https://www.pdfsearch.io/img/72927dbec68f99fd4f7613b09a4c0f99.jpg) | Add to Reading ListSource URL: www.rifarmenergy.orgLanguage: English - Date: 2016-11-17 14:45:17
|
---|
9![Staff Report: Capital Improvement Program Contracts 2 & 3 Conceptual Review – Hope, Mount Hope, Blackstone, Wayland, College Hill, Fox Point, Downtown, Federal Hill, West End – Wards 1, 2, 3, 8, 11, 13 (For Action) P Staff Report: Capital Improvement Program Contracts 2 & 3 Conceptual Review – Hope, Mount Hope, Blackstone, Wayland, College Hill, Fox Point, Downtown, Federal Hill, West End – Wards 1, 2, 3, 8, 11, 13 (For Action) P](https://www.pdfsearch.io/img/0d1c69fbf7605d7939d4cc779bcb2db7.jpg) | Add to Reading ListSource URL: www.providenceri.govLanguage: English - Date: 2018-03-28 13:40:30
|
---|
10![Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo](https://www.pdfsearch.io/img/359f93fe7ffbc7f3bf057c41fd8073e6.jpg) | Add to Reading ListSource URL: srg.doc.ic.ac.uk- Date: 2017-10-17 05:46:31
|
---|