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

Laurent Thévenoux 1, * Philippe Langlois 2 Matthieu Martel 3
* Auteur correspondant
2 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
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.
Type de document :
Communication dans un congrès
IEEE. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. 2015 IEEE 18th International Conference on Computational Science and Engineering, pp.9--16, 2015, 〈http://paginas.fe.up.pt/~specs/events/cse2015/〉. 〈10.1109/CSE.2015.11〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01158399
Contributeur : Laurent Thévenoux <>
Soumis le : jeudi 27 octobre 2016 - 13:15:16
Dernière modification le : mardi 10 octobre 2017 - 10:31:44

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Laurent Thévenoux, Philippe Langlois, Matthieu Martel. Automatic Source-to-Source Error Compensation of Floating-Point Programs. IEEE. Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. 2015 IEEE 18th International Conference on Computational Science and Engineering, pp.9--16, 2015, 〈http://paginas.fe.up.pt/~specs/events/cse2015/〉. 〈10.1109/CSE.2015.11〉. 〈hal-01158399〉

Partager

Métriques

Consultations de
la notice

289

Téléchargements du document

301