Sardana: an Automatic Tool for Numerical Accuracy Optimization - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

Sardana: an Automatic Tool for Numerical Accuracy Optimization

Abstract

On computers real numbers are approximated by floating-point numbers defined by the IEEE754 formats [1]. For most computations these formats are precise enough even though the induced approximation errors inherently. However in some cases the accuracy of the calculation is critical and the user needs to certify that his program will always yield an accurate enough output for every valid input. As it is impossible to check the validity of a calculation for every inputs, static analyzers such as Fluctuat or Astr ee rely on an interval or relational representation of the inputs, combined to abstract interpretation.
Fichier principal
Vignette du fichier
main3.pdf (5.62 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00698619 , version 1 (21-05-2012)

Identifiers

  • HAL Id : hal-00698619 , version 1

Cite

Arnault Ioualalen, Matthieu Martel. Sardana: an Automatic Tool for Numerical Accuracy Optimization. SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4. ⟨hal-00698619⟩
187 View
143 Download

Share

Gmail Facebook Twitter LinkedIn More