First steps towards more numerical reproducibility

Fabienne Jézéquel 1 Philippe Langlois 2 Nathalie Revol 3
1 PEQUAN - Performance et Qualité des Algorithmes Numériques
LIP6 - Laboratoire d'Informatique de Paris 6
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
3 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Questions whether numerical simulation is reproducible or not have been reported in several sensitive applications. Numerical reproducibility failure mainly comes from the finite precision of computer arithmetic. Results of floating-point computation depends on the computer arithmetic precision and on the order of arithmetic operations. Massive parallel HPC which merges, for instance, many-core CPU and GPU, clearly modifies these two parameters even from run to run on a given computing platform. How to trust such computed results? This paper presents how three classic approaches in computer arithmetic may provide some first steps towards more numerical reproducibility.
Type de document :
Article dans une revue
ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. <http://smai.emath.fr/smai2013/>. <10.1051/proc/201445023>
Liste complète des métadonnées


https://hal-lirmm.ccsd.cnrs.fr/lirmm-00872562
Contributeur : Philippe Langlois <>
Soumis le : lundi 14 octobre 2013 - 08:24:50
Dernière modification le : vendredi 9 juin 2017 - 10:42:35
Document(s) archivé(s) le : vendredi 7 avril 2017 - 10:12:54

Fichier

JezLanRev13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Fabienne Jézéquel, Philippe Langlois, Nathalie Revol. First steps towards more numerical reproducibility. ESAIM: Proceedings and Surveys, EDP Sciences, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. <http://smai.emath.fr/smai2013/>. <10.1051/proc/201445023>. <lirmm-00872562>

Partager

Métriques

Consultations de
la notice

515

Téléchargements du document

540