Floating point

Results: 1574



#Item
1Interval 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

Add to Reading List

Source URL: perso.ensta-paristech.fr

Language: English - Date: 2012-12-19 06:23:54
2Formal 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

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2017-07-31 08:52:27
3Introduction 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

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 04:25:02
4Verifying 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

Add to Reading List

Source URL: correctness-workshop.github.io

Language: English - Date: 2017-11-14 22:52:13
5Combining 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

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2018-10-18 11:22:35
6Proposal 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

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2005-01-20 09:50:18
7Introduction 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

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2007-07-27 03:54:27
8Real 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

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
9Stabilizing 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

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2017-02-09 10:23:03
10Finding Root Causes of Floating Point Error

Finding Root Causes of Floating Point Error

Add to Reading List

Source URL: herbgrind.ucsd.edu

Language: English - Date: 2018-06-21 11:23:19