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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download
Contributor : Philippe Langlois <>
Submitted on : Monday, October 14, 2013 - 8:24:50 AM
Last modification on : Friday, May 24, 2019 - 5:31:16 PM
Long-term archiving on : Friday, April 7, 2017 - 10:12:54 AM


Files produced by the author(s)



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. ⟨⟩. ⟨10.1051/proc/201445023⟩. ⟨lirmm-00872562⟩



Record views


Files downloads