Some issues related to double roundings

Érik Martin-Dorel 1 Guillaume Melquiond 2, 3 Jean-Michel Muller 4
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
3 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
4 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : Double rounding is a phenomenon that may occur when different floating- point precisions are available on the same system. Although double rounding is, in general, innocuous, it may change the behavior of some useful small floating-point algorithms. We analyze the potential influence of double rounding on the Fast2Sum and 2Sum algorithms, on some summation algorithms, and Veltkamp's splitting.
Type de document :
Article dans une revue
BIT Numerical Mathematics, Springer Verlag, 2013, 53 (4), pp.897-924. 〈10.1007/s10543-013-0436-2〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00644408
Contributeur : Jean-Michel Muller <>
Soumis le : lundi 8 juillet 2013 - 09:58:38
Dernière modification le : vendredi 20 avril 2018 - 15:44:26
Document(s) archivé(s) le : mercredi 5 avril 2017 - 08:09:23

Fichier

Version_Finale_DoubleRoundings...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Érik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller. Some issues related to double roundings. BIT Numerical Mathematics, Springer Verlag, 2013, 53 (4), pp.897-924. 〈10.1007/s10543-013-0436-2〉. 〈ensl-00644408v3〉

Partager

Métriques

Consultations de la notice

1146

Téléchargements de fichiers

168