Numerical validation in quadruple precision using stochastic arithmetic - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Numerical validation in quadruple precision using stochastic arithmetic


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.
Fichier principal
Vignette du fichier
article_TNC.pdf (440.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01777397 , version 1 (24-04-2018)



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⟩
199 View
463 Download



Gmail Facebook Twitter LinkedIn More