Sardana: an Automatic Tool for Numerical Accuracy Optimization

Arnault Ioualalen 1 Matthieu Martel 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
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.
Type de document :
Communication dans un congrès
SCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2012, Novosibirsk, Russia. pp.1-4, 2012
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00698619
Contributeur : Matthieu Martel <>
Soumis le : lundi 21 mai 2012 - 09:41:22
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : jeudi 15 décembre 2016 - 08:32:05

Fichier

main3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00698619, version 1

Collections

Citation

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, 2012. 〈hal-00698619〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

144