M. Baboulin, A. Buttari, J. Dongarra, J. Kurzak, J. Langou et al., Accelerating scientific computations with mixed precision algorithms, Computer Physics Communications, vol.180, issue.12, pp.2526-2533, 2009.
DOI : 10.1016/j.cpc.2008.11.005

J. Brajard, P. Li, F. Jézéquel, H. S. Benavidès, and S. Thiria, Numerical Validation of Data Assimilation Codes Generated by the YAO Software, SIAM Annual Meeting
URL : https://hal.archives-ouvertes.fr/hal-01216453

J. M. Chesneaux and J. Vignes, Les fondements de l'arithmétique stochastique, Comptes Rendus de l'Académie des Sciences -Series I -Mathematics, pp.315-1435, 1992.

G. Contributors and . Project, GSL -GNU scientific library -GNU project -free software foundation (FSF), 2010.

P. Eberhart, J. Brajard, P. Fortin, and F. , High performance numerical validation using stochastic arithmetic, Reliable Computing, vol.21, pp.35-52, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01254446

F. Févotte and B. , Lathuilì ere, MICADO: Parallel implementation of a 2D?1D iterative algorithm for the 3D neutron transport problem in prismatic geometries, Proceedings of Mathematics, Computational Methods & Reactor Physics

S. Graillat, F. Jézéquel, S. Wang, and Y. Zhu, Stochastic Arithmetic in Multiprecision, Mathematics in Computer Science, vol.15, issue.1, pp.359-375, 2011.
DOI : 10.1007/s11786-011-0103-4
URL : https://hal.archives-ouvertes.fr/hal-01288865

F. Jézéquel and J. M. Chesneaux, CADNA: a library for estimating round-off error propagation, Computer Physics Communications, vol.178, issue.12, pp.933-955, 2008.
DOI : 10.1016/j.cpc.2008.02.003

F. Jézéquel, J. L. Lamotte, and O. Chubach, Parallelization of discrete stochastic arithmetic on multicore architectures, 2013 10th International Conference on Information Technology: New Generations
DOI : 10.1109/ITNG.2013.28

F. Jézéquel, J. L. Lamotte, and I. Said, Estimation of numerical reproducibility on CPU and GPU, Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, pp.675-680
DOI : 10.15439/2015F29

F. Jézéquel, F. Rico, J. M. Chesneaux, and M. Charikhi, Reliable computation of a multiple integral involved in the neutron star theory, Mathematics and Computers in Simulation, vol.71, issue.1, pp.44-61, 2006.
DOI : 10.1016/j.matcom.2005.11.014

M. O. Lam, J. K. Hollingsworth, B. R. De-supinski, and M. P. Legendre, Automatically Adapting Programs for Mixed-precision Floating-point Computation, Proceedings of the 27th International ACM Conference on International Conference on Supercomputing, ICS '13, pp.369-378, 2013.

J. L. Lamotte, J. M. Chesneaux, F. Jézéquel, and C. C. , CADNA_C: A version of CADNA for use with C or C++ programs, Computer Physics Communications, vol.181, issue.11, pp.1925-1926, 2010.
DOI : 10.1016/j.cpc.2010.07.006
URL : https://hal.archives-ouvertes.fr/hal-01146511

C. Lattner and V. Adve, LLVM: A compilation framework for lifelong program analysis & transformation, International Symposium on Code Generation and Optimization, 2004. CGO 2004.
DOI : 10.1109/CGO.2004.1281665

W. Li, Numerical accuracy analysis in simulations on hybrid high-performance computing systems

S. Moustafa, F. Févotte, B. Lathuilì-ere, and L. Plagne, Vectorization of a 2D???1D Iterative Algorithm for the 3D Neutron Transport Problem in Prismatic Geometries, SNA + MC 2013, Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo
DOI : 10.1051/snamc/201404102

C. Nguyen, C. Rubio-gonzález, B. Mehne, K. Sen, J. Demmel et al., Floating-Point Precision Tuning Using Blame Analysis, 2015.

C. Rubio-gonzález, C. Nguyen, H. D. Nguyen, J. Demmel, W. Kahan et al., Precimonious, Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on, SC '13, pp.1-2712, 2013.
DOI : 10.1145/2503210.2503296

S. M. Rump, Reliability in Computing: The Role of Interval Methods in Scientific Computing, pp.109-126, 1988.

N. Scott, F. Jézéquel, C. Denis, and J. M. Chesneaux, Numerical ???health check??? for scientific codes: the CADNA approach, Computer Physics Communications, vol.176, issue.8, pp.507-521, 2007.
DOI : 10.1016/j.cpc.2007.01.005
URL : https://hal.archives-ouvertes.fr/hal-01146489

J. Vignes, Zéro mathématique et zéro informatique, Comptes Rendus de l'Académie des Sciences -Series I, Mathematics, vol.303, pp.997-1000, 1986.

J. Vignes, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, issue.3, pp.233-261, 1993.
DOI : 10.1016/0378-4754(93)90003-D

J. Vignes, Discrete Stochastic Arithmetic for Validating Results of Numerical Software, Numerical Algorithms, vol.37, issue.1-4, pp.377-390, 2004.
DOI : 10.1023/B:NUMA.0000049483.75679.ce
URL : https://hal.archives-ouvertes.fr/hal-01146498

A. Zeller, Why Programs Fail, 2009.

A. Zeller and R. Hildebrandt, Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.183-200, 2002.
DOI : 10.1109/32.988498