Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods - Archive ouverte HAL
Chapitre D'ouvrage Année : 2015

Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

Résumé

Among other objectives, rewriting programs serves as a useful technique to improve numerical accuracy. However, this optimization is not intuitive and this is why we switch to automatic transformation techniques. We are interested in the optimization of numerical programs relying on the IEEE754 floating-point arithmetic. In this article, our main contribution is to study the impact of optimizing the numerical accuracy of programs on the time required by numerical iterative methods to converge. To emphasize the usefulness of our tool, we make it optimize several examples of numerical methods such as Jacobi’s method, Newton-Raphson’s method, etc. We show that significant speedups are obtained in terms of number of iterations, time and flops.
Fichier non déposé

Dates et versions

hal-01272514 , version 1 (11-02-2016)

Identifiants

Citer

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. Logic-Based Program Synthesis and Transformation, 9527, Springer Verlag, pp.143-160, 2015, Lecture Notes in Computer Science, 978-3-319-27435-5. ⟨10.1007/978-3-319-27436-2_9⟩. ⟨hal-01272514⟩
110 Consultations
0 Téléchargements

Altmetric

Partager

More