Towards a constraint system for round-off error analysis of floating-point computation

Abstract : In this paper, we introduce a new constraint solver aimed at analyzing the round-off errors that occur in floating-point computations. Such a solver allows reasoning on round-off errors by means of constraints on ranges of error values. This new solver is built by incorporating in a solver for constraints over the floating-point numbers the domain of errors which is dual to the domain of values. Both domains, the domain of values and the domain of errors, are associated with each variable of the problem. Additionally, we introduce projection functions that filter these domains as well as the mechanisms required for the analysis of errors. Preliminary experiments are encouraging. Numerous works, which are based on an overestimation of actual errors, try to address similar issues. However, they do not provide critical information to reason on those errors, for example, by computing input values that exercise a given error. To our knowledge, our solver is the first constraint solver with such reasoning capabilities over round-off errors.
Type de document :
Communication dans un congrès
24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01956046
Contributeur : Rémy Garcia <>
Soumis le : vendredi 14 décembre 2018 - 18:29:33
Dernière modification le : vendredi 4 janvier 2019 - 01:19:42

Fichier

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

Identifiants

  • HAL Id : hal-01956046, version 1

Collections

Citation

Rémy Garcia, Claude Michel, Marie Pelleau, Michel Rueher. Towards a constraint system for round-off error analysis of floating-point computation. 24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France. 〈hal-01956046〉

Partager

Métriques

Consultations de la notice

34

Téléchargements de fichiers

15