Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic

Résumé

Compensated summation algorithms are designed to improve the accuracy of ill-conditioned sums. They are based on algorithms, such as FastTwoSum, which are proved to provide, with rounding to nearest, the sum of two floating-point numbers and the associated rounding error. Discrete stochastic arithmetic enables one to estimate rounding error propagation in numerical codes. It requires a random rounding mode which consists in rounding each computed result toward −∞ or +∞ with the same probability. In this paper we analyse the impact of this random rounding mode on compensated summations based on the FastTwoSum algorithm. We show the accuracy improvement obtained using such compensated summations in numerical simulations controlled with discrete stochastic arithmetic.
Fichier principal
Vignette du fichier
1-s2.0-S1571066115000481-main.pdf (206.49 Ko) Télécharger le fichier
Origine Publication financée par une institution
Loading...

Dates et versions

hal-01230860 , version 1 (19-11-2015)

Licence

Identifiants

Citer

Stef Graillat, Fabienne Jézéquel, Romain Picot. Numerical Validation of Compensated Summation Algorithms with Stochastic Arithmetic. 8th International Workshop on Numerical Software Verification, NSV 2015, Apr 2015, Seattle, United States. pp.55-69, ⟨10.1016/j.entcs.2015.10.007⟩. ⟨hal-01230860⟩
349 Consultations
212 Téléchargements

Altmetric

Partager

More