Towards a constraint system for round-off error analysis of floating-point computation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
dp2018.pdf (266.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01956046 , version 1 (14-12-2018)

Identifiants

  • HAL Id : hal-01956046 , version 1

Citer

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⟩
96 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More