Floating - PDFSEARCH.IO - Document Search Engine

Floating
Results: 4929

#	Item
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 Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54 Mathematics Mathematical analysis Analysis Computer arithmetic Numerical analysis Arithmetic Functions and mappings Differential calculus Interval arithmetic Rounding Derivative Integral
2	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 Computer arithmetic Arithmetic Computing Binary arithmetic Theory of computation Data types IEEE standards Decimal64 floating-point format IEEE 754 Double-precision floating-point format cole normale suprieure de Lyon Algorithm
3	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 Mathematics Computer arithmetic Real number Floating-point arithmetic Arbitrary-precision arithmetic Algorithm Interval Complex number
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 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computing Software engineering Computer programming X86 instructions MOVAPD X86 instruction listings J Compiler MOVDDUP
5	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 Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm
6	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 Computer arithmetic Arithmetic Mathematics Computer architecture Rounding IEEE 754 Double-precision floating-point format Interval arithmetic Significant figures NaN Sine Signed zero
7	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 Computer arithmetic cole normale suprieure de Lyon Floating-point arithmetic
8	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 Mathematics Theoretical computer science Constraint programming Functions and mappings Electronic design automation Logic in computer science NP-complete problems Satisfiability modulo theories Rounding Limit of a function Function
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 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2017-02-09 10:23:03 Operator theory Symbol Operator Computability theory
10	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 Computing Computer arithmetic Mathematics Numerical analysis Software engineering Mathematical analysis Error NaN Nothing Rounding Type system Computer algebra

UPDATE