Numerical validation in quadruple precision using stochastic arithmetic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Numerical validation in quadruple precision using stochastic arithmetic

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
239 Consultations
500 Téléchargements

Altmetric

Partager

More