Geodesic
First steps towards more numerical reproducibility
Fabienne Jézéquel1 ; Philippe Langlois2 ; Nathalie Revol3
1Sorbonne Universités, UPMC Univ Paris 06, CNRS, UMR 7606, LIP6, F-75005, Paris, France and Université Paris 2, France
2Université de Perpignan Via Domitia, DALI, LIRMM (UMR5506 CNRS-Université Montpellier 2), France
3INRIA, U. de Lyon, LIP (UMR5668 CNRS-ENS de Lyon-INRIA-UCBL), ENS de Lyon, France
ESAIM. Proceedings, Tome 45 (2014), pp. 229-238
Cet article a éte moissonné depuis la source EDP Sciences

Voir la notice de l'article

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.
DOI : 10.1051/proc/201445023

Fabienne Jézéquel  1   ; Philippe Langlois  2   ; Nathalie Revol  3

1 Sorbonne Universités, UPMC Univ Paris 06, CNRS, UMR 7606, LIP6, F-75005, Paris, France and Université Paris 2, France
2 Université de Perpignan Via Domitia, DALI, LIRMM (UMR5506 CNRS-Université Montpellier 2), France
3 INRIA, U. de Lyon, LIP (UMR5668 CNRS-ENS de Lyon-INRIA-UCBL), ENS de Lyon, France 
@article{EP_2014_45_a23,
     author = {Fabienne J\'ez\'equel and Philippe Langlois and Nathalie Revol},
     title = {First steps towards more numerical reproducibility},
     journal = {ESAIM. Proceedings},
     pages = {229--238},
     year = {2014},
     volume = {45},
     doi = {10.1051/proc/201445023},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/proc/201445023/}
}
TY  - JOUR
AU  - Fabienne Jézéquel
AU  - Philippe Langlois
AU  - Nathalie Revol
TI  - First steps towards more numerical reproducibility
JO  - ESAIM. Proceedings
PY  - 2014
SP  - 229
EP  - 238
VL  - 45
UR  - http://geodesic.mathdoc.fr/articles/10.1051/proc/201445023/
DO  - 10.1051/proc/201445023
LA  - en
ID  - EP_2014_45_a23
ER  - 
%0 Journal Article
%A Fabienne Jézéquel
%A Philippe Langlois
%A Nathalie Revol
%T First steps towards more numerical reproducibility
%J ESAIM. Proceedings
%D 2014
%P 229-238
%V 45
%U http://geodesic.mathdoc.fr/articles/10.1051/proc/201445023/
%R 10.1051/proc/201445023
%G en
%F EP_2014_45_a23
Fabienne Jézéquel; Philippe Langlois; Nathalie Revol. First steps towards more numerical reproducibility. ESAIM. Proceedings, Tome 45 (2014), pp. 229-238. doi: 10.1051/proc/201445023

Cité par Sources :