Automatic Source-to-Source Error Compensation of Floating-Point Programs - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Automatic Source-to-Source Error Compensation of Floating-Point Programs

Abstract

Numerical programs with IEEE 754 floating-point computations may suffer from inaccuracies since finite precision arithmetic is an approximation of real arithmetic. Solutions that reduce the loss of accuracy are available as, for instance, compensated algorithms, more precise computation with double-double or similar libraries. Our objective is to automatically improve the numerical quality of a numerical program with the smallest impact on its performances. We define and implement source code transformation to derive automatically compensated programs. We present several experimental results to compare the transformed programs and existing solutions. The transformed programs are as accurate and efficient than the implementations of compensated algorithms when the latter exist.
Fichier principal
Vignette du fichier
LMT15a-ieee.pdf (249.89 Ko) Télécharger le fichier
CSE2015.pdf (583.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01158399 , version 1 (27-10-2016)

Licence

Attribution

Identifiers

Cite

Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩. ⟨hal-01158399⟩
366 View
988 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More