Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic

Nathalie Revol

Résumé

Interval arithmetic is a tool of choice for numerical software verification, as every result computed using this arithmetic is self-verified: every result is an interval that is guaranteed to contain the exact numerical values, regardless of uncertainty or roundoff errors. From 2008 to 2015, interval arithmetic underwent a standardization effort , resulting in the IEEE 1788-2015 standard. The main features of this standard are developed: the structure into levels, from the mathematic model to the implementation on computers; the possibility to accommodate different mathematical models, called flavors; the decoration system that keeps track of relevant events during the course of a calculation; the exact dot product for point (as opposed to interval) vectors.
Fichier principal
Vignette du fichier
NRevol-NSV17-HAL.pdf (260.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01559955 , version 1 (11-07-2017)

Identifiants

Citer

Nathalie Revol. Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic. 10th International Workshop on Numerical Software Verification - NSV 2017, workshop of CAV 2017, Jul 2017, Heidelberg, Germany. pp.14-21, ⟨10.1007/978-3-319-63501-9⟩. ⟨hal-01559955⟩
339 Consultations
1141 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More