Skip to Main content Skip to Navigation
Conference papers

Numerical validation in quadruple precision using stochastic arithmetic

Abstract : Discrete Stochastic Arithmetic (DSA) enables one to estimate rounding errors and to detect numerical instabilities in simulation programs. DSA is implemented in the CADNA library that can analyze the numerical quality of single and double precision programs. In this article, we show how the CADNA library has been improved to enable the estimation of rounding errors in programs using quadruple precision floating-point variables, i.e. having 113-bit mantissa length. Although an implementation of DSA called SAM exists for arbitrary precision programs, a significant performance improvement has been obtained with CADNA compared to SAM for the numerical validation of programs with 113-bit mantissa length variables. This new version of CADNA has been sucessfully used for the control of accuracy in quadruple precision applications, such as a chaotic sequence and the computation of multiple roots of polynomials. We also describe a new version of the PROMISE tool, based on CADNA, that aimed at reducing in numerical programs the number of double precision variable declarations in favor of single precision ones, taking into account a requested accuracy of the results. The new version of PROMISE can now provide type declarations mixing single, double and quadruple precision.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Stef Graillat Connect in order to contact the contributor
Submitted on : Tuesday, April 24, 2018 - 4:38:54 PM
Last modification on : Tuesday, January 4, 2022 - 3:50:27 AM


Files produced by the author(s)



Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte, Bruno Lathuilière. Numerical validation in quadruple precision using stochastic arithmetic. TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩. ⟨hal-01777397⟩



Les métriques sont temporairement indisponibles