Using compensated algorithms to improve the accuracy of a parallel hydrodynamic software suite, B.H.V. TOPPING et P. IVÁNYI, éditeurs : Proceedings of the Third International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, 2013. ,
Efficient matrix multiplication based on discrete stochastic arithmetic, Reliable computing journal ,
Towards an efficient implementation of CADNA in the blas : Example of DgemmCADNA routine, Proceedings of the 15th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765529
Numerical verification of industrial numerical codes, ESAIM : Proc, vol.35, p.1077113, 2012. ,
Numerical Verification of Industrial Numerical Codes, ESAIM: Proceedings, vol.35, pp.107-113, 2012. ,
DOI : 10.1051/proc/201235006
URL : https://hal.archives-ouvertes.fr/hal-00765536
Program transformation for numerical precision, Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM '09, 2009. ,
DOI : 10.1145/1480945.1480960
Towards an efficient implementation of CADNA in the BLAS : Example of DgemmCADNA routine, Proceedings of the 15th GAMM -IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN), 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00765529
Efficient matrix multiplication based on discrete stochastic arithmetic. Reliable computing journal, 2013. ,
Introduction to interval analysis, Society for Industrial Mathematics, 2009. ,
DOI : 10.1137/1.9780898717716
Accurate and Efficient Simulation of Large-scale Hydrodynamic Events, Proceedings of the Second International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering ,
Error analysis in computing, Information Processing, vol.74, pp.610-614, 1974. ,