D. H. Bailey, High-Precision Computation and Reproducibility, Reproducibility in Computational and Experimental Mathematics, 2012.

K. Brassel, Advanced Object-Oriented Technologies in Modeling and Simulation: the VSEit Framework, ESM 2001 European Simulation Multiconference 2001, pp.154-160, 2001.

W. Chiang, G. Gopalakrishnan, Z. Rakamaric, D. H. Ahn, and G. L. Lee, Determinism and Reproducibility in Large-Scale HPC Systems (7 pages), WODET 2013 -4th Workshop on Determinism and Correctness in Parallel Programming, 2013.

J. Demmel and H. D. Nguyen, Fast Reproducible Floating-Point Summation, 2013 IEEE 21st Symposium on Computer Arithmetic, pp.163-172, 2013.
DOI : 10.1109/ARITH.2013.9

J. Demmel and H. D. Nguyen, Numerical Reproducibility and Accuracy at ExaScale, 2013 IEEE 21st Symposium on Computer Arithmetic, 2013.
DOI : 10.1109/ARITH.2013.43

K. Diethelm, The Limits of Reproducibility in Numerical Simulation, Computing in Science & Engineering, vol.14, issue.1, pp.64-71, 2012.
DOI : 10.1109/MCSE.2011.21

F. De-dinechin, De calculer justè a calculer au plus juste

J. Dongarra, Algorithmic and Software Challenges when Moving Towards Exascale, ISUM 2013: 4th International Supercomputing Conference in Mexico, 2013.

J. Gosling, Sun Microsystems Laboratories -The First Ten Years -19912001, chapter Java: an Overview, J. Treichel and M. Holzer, 1995.

J. Gosling, B. Joy, G. Steele, G. Bracha, and A. Buckley, The Java R Language Specification -Java SE 7 Edition, 2013.

W. D. Gropp, 12. Issues in Accurate and Reliable Use of Parallel Computing in Numerical Programs, Accuracy and Reliability in Scientific Computing, pp.253-263, 2005.
DOI : 10.1137/1.9780898718157.ch12

E. R. Hansen and G. W. Walster, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 2003.
DOI : 10.1016/B978-0-12-505630-4.50021-3

Y. He and C. Q. Ding, Using Accurate Arithmetics to Improve Numerical Reproducibility and Stability in Parallel Applications, The Journal of Supercomputing, vol.18, issue.3, pp.259-277, 2001.
DOI : 10.1023/A:1008153532043

Y. Hida, X. S. Li, and D. H. Bailey, Quad Double computation package, pp.2003-2012

N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2002.
DOI : 10.1137/1.9780898718027

W. Kahan and J. D. Darcy, How Javas floating-point hurts everyone everywhere, ACM 1998 Workshop on Java for High-Performance Network Computing, 1998.

T. Kauranne, J. Oinonen, S. Saarinen, O. Serimaa, and J. Hietaniemi, The operational HIRLAM 2 on parallel computers, 6th Workshop on the use of parallel processors in meteorology, ECMWF, pp.63-74, 1994.

B. Krammer, K. Bidmon, M. S. Muller, and M. M. Resch, MARMOT: An MPI analysis and checking tool Advances in Parallel Computing, pp.493-500, 2004.

C. Lauter and V. Ménissier-morain, There's no reliable computing without reliable access to rounding modes, SCAN 2012 Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Russian Federation, pp.99-100

M. Leeser, J. Ramachandran, T. Wahl, and D. Yablonski, OpenCL Floating Point Software on Heterogeneous Architectures ? Portable or Not?, Workshop on Numerical Software Verification (NSV), 2012.

X. Li, J. Demmel, D. Bailey, G. Henry, Y. Hida et al., Design, implementation and testing of extended and mixed precision BLAS, ACM Transactions on Mathematical Software, vol.28, issue.2, pp.152-205, 2002.
DOI : 10.1145/567806.567808

E. Mcintosh, F. Schmidt, and F. De-dinechin, Massive Tracking on Heterogeneous Platforms, 2006.

B. Marker, F. Van-zee, K. Goto, G. Quintana-orti, and R. Van-de-geijn, Toward scalable matrix multiply on multithreaded architectures. Euro-Par, Parallel Processing, pp.748-757, 2007.

J. K. Martinsen and H. Grahn, A methodology for evaluating JavaScript execution behavior in interactive web applications, 2011 9th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), pp.241-248, 2011.
DOI : 10.1109/AICCSA.2011.6126611

R. Moore, Interval Analysis, 1966.

R. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to interval analysis, SIAM, 2009.
DOI : 10.1137/1.9780898717716

J. Muller, Handbook of Floating-point Arithmetic, 2010.
DOI : 10.1007/978-0-8176-4705-6
URL : https://hal.archives-ouvertes.fr/ensl-00379167

A. Neumaier, Interval methods for systems of equations, 1990.
DOI : 10.1017/CBO9780511526473

H. D. Nguyen, Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic, 2011.
URL : https://hal.archives-ouvertes.fr/ensl-00560188

M. Philippsen, Is Java ready for computational science? In Euro-PDS'98 -2nd European Parallel and Distributed Systems Conference, pp.299-304, 1998.

M. Philippsen, R. F. Boisvert, V. S. Getov, R. Pozo, J. Moreira et al., JavaGrande??? High Performance Computing with Java, Applied Parallel Computing . New Paradigms for HPC in Industry and Academia, pp.20-36, 2001.
DOI : 10.1007/3-540-70734-4_5

N. Revol, Y. Denneulin, J. Méhaut, and B. Planquelle, A Methodology of Parallelization for Continuous Verified Global Optimization, 19th IFIP TC7 Conf. on System Modelling and Optimization, 1999.
DOI : 10.1007/3-540-48086-2_90
URL : https://hal.archives-ouvertes.fr/inria-00545078

N. Revol, K. Makino, and M. Berz, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005.
DOI : 10.1016/j.jlap.2004.07.008
URL : https://hal.archives-ouvertes.fr/inria-00071850

N. Revol and P. Théveny, Parallel implementation of interval matrix multiplication, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00801890

R. W. Robey, J. M. Robey, and R. Aulwes, In search of numerical consistency in parallel programming, Parallel Computing, vol.37, issue.4-5, pp.217-229, 2011.
DOI : 10.1016/j.parco.2011.02.009

S. M. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, pp.77-104, 1999.
DOI : 10.1007/978-94-017-1247-7_7

S. M. Rump, Fast interval matrix multiplication, Numerical Algorithms, vol.89, issue.1, pp.1-34, 2012.
DOI : 10.1007/s11075-011-9524-z

V. Stodden, D. H. Bailey, J. Borwein, R. J. Leveque, W. Rider et al., Setting the Default to, Reproducible ? Reproducibility in Computational and Experimental Mathematics. Report on ICERM workshop Reproducibility in Computational and Experimental Mathematics, 2012.

M. Taufer, O. Padron, P. Saponaro, and S. Patel, Improving numerical reproducibility and stability in large-scale numerical simulations on GPUs, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), pp.1-9, 2010.
DOI : 10.1109/IPDPS.2010.5470481

F. Tisseur, Newton's Method in Floating Point Arithmetic and Iterative Refinement of Generalized Eigenvalue Problems, SIAM Journal on Matrix Analysis and Applications, vol.22, issue.4, pp.1038-1057, 2001.
DOI : 10.1137/S0895479899359837

]. R. Todd, Introduction to Conditional Numerical Reproducibil- ity (CNR), 2012. http://software.intel.com/en-us/articles/ introduction-to-the-conditional-numerical-reproducibility-cnr

W. Tucker, Validated Numerics: A Short Introduction to Rigorous Computations, 2011.

O. Villa, D. Chavarrí-a-miranda, V. Gurumoorthi, A. , and S. Krishnamoorthy, Effects of Floating-Point non-Associativity on Numerical Computations on Massively Multithreaded Systems, Cray User Group, pp.1-5, 2009.