1![Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France](https://www.pdfsearch.io/img/5e4177676b3482a9a73a2e87d9f17276.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
2![Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017](https://www.pdfsearch.io/img/6efe01fdc5e337c586d7cce460280ea2.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-31 08:52:27
|
---|
3![Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France](https://www.pdfsearch.io/img/905bf7b3ccd95a7e25fd3652d457ab19.jpg) | Add to Reading ListSource URL: smt2014.it.uu.seLanguage: English - Date: 2014-07-18 04:25:02
|
---|
4![Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA](https://www.pdfsearch.io/img/867dc5a4e47378714f101c5e2f4d5a92.jpg) | Add to Reading ListSource URL: correctness-workshop.github.ioLanguage: English - Date: 2017-11-14 22:52:13
|
---|
5![Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2](https://www.pdfsearch.io/img/f9563477c4cf813945f7926039581d0d.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2018-10-18 11:22:35
|
---|
6![Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic David Defour Guillaume Hanrot Jean-Michel Muller](https://www.pdfsearch.io/img/a73407626bb7674c7a77467de437755a.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2005-01-20 09:50:18
|
---|
7![Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz Introduction Taylor model arithmetic using floating-point arithmetic Getting even more accuracy Conclusion Diddl - Goletz](https://www.pdfsearch.io/img/15542864584d927f52785227a9efe3b7.jpg) | Add to Reading ListSource URL: perso.ens-lyon.frLanguage: English - Date: 2007-07-27 03:54:27
|
---|
8![Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France](https://www.pdfsearch.io/img/0d348b98c3dcbb30cb6f982ddff8c24c.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
9![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
|
---|
10![Finding Root Causes of Floating Point Error Finding Root Causes of Floating Point Error](https://www.pdfsearch.io/img/16571a75b8a618869ec5b8746e0c2604.jpg) | Add to Reading ListSource URL: herbgrind.ucsd.eduLanguage: English - Date: 2018-06-21 11:23:19
|
---|