Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

Les systèmes critiques basés sur l’arithmétique flottante exigent un processus rigoureux de vérification et de validation pour augmenter notre confiance en leur sureté et leur fiabilité. Malheureusement, les techniques existentes fournissent souvent une surestimation d’erreurs d’arrondi. Nous citons...

Full description

Bibliographic Details
Main Author: Damouche, Nasrine
Other Authors: Perpignan
Language:en
Published: 2016
Subjects:
Arithmétique flottante
Précision numérique
Erreur d'arrondi
Transformation automatique de programmes
Analyse statique
Interprétation abstraite
Floating-point arithmetic
Numerical accuracy
Rounding errors
Automatic transformation of programs
Static analysis
Abstract interpretation
004
Online Access:http://www.theses.fr/2016PERP0032/document

Internet

http://www.theses.fr/2016PERP0032/document

Similar Items