Towards a constraint system for round-off error analysis of floating-point computation - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

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.
Fichier principal
Vignette du fichier
dp2018.pdf (266.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01956046 , version 1

Cite

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⟩
95 View
76 Download

Share

Gmail Facebook X LinkedIn More