What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, 1991. ,
, , 2018.
Technical Design Report for the ATLAS Inner Tracker Strip Detector, 2017. ,
Technical Design Report for the ATLAS Inner Tracker Pixel Detector, 2017. ,
, ATLAS experiment at CERN
,
, Future Circular Collider study
,
Verrou: Assessing floating-point accuracy without recompiling ,
Studying the Numerical Quality of an Industrial Computing Code: A Case Study on code_aster, International Workshop on Numerical Software Verification (NSV), pp.61-80, 2017. ,
Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2007. ,
How futile are mindless assessments of roundoff in floating-point computation, 2006. ,
A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, p.233, 1993. ,
Monte Carlo arithmetic: exploiting randomness in floating-point arithmetic, 1997. ,
On the robustness of the CESTAC method, C. R. Acad.Sci. Paris, vol.1, p.855, 1988. ,
, Confidence intervals for stochastic arithmetic
URL : https://hal.archives-ouvertes.fr/hal-01827319
, Why Programs Fail, 2009.
Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, p.183, 2002. ,
Debugging and optimization of HPC programs in mixed precision with the Verrou tool, Computational Reproducibility at Exascale, 2018. ,