Midpoints and exact points of some algebraic functions in floating-point arithmetic

Claude-Pierre Jeannerod 1, 2 Nicolas Louvet 1, 2 Jean-Michel Muller 1, 2 Adrien Panhaleux 1, 2
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Abstract : When implementing a function f in floating-point arithmetic, if we wish correct rounding and good performance, it is important to know if there are input floating-point values x such that f(x) is either the middle of two consecutive floating-point numbers (assuming rounded-to-nearest arithmetic), or a floating-point number (assuming rounded towards infinity or towards 0 arithmetic). In the first case, we say that f(x) is a midpoint, and in the second case, we say that f(x) is an exact point. For some usual algebraic functions, and various floating-point formats, we prove whether or not there exist midpoints or exact points. When there exist midpoints or exact points, we characterize them or list all of them (if there are not too many). The results and the techniques presented in this paper can be used in particular to deal with both the binary and the decimal formats defined in the IEEE 754-2008 standard for floating-point arithmetic.
Type de document :
Article dans une revue
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. 〈10.1109/TC.2010.144〉
Liste complète des métadonnées

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

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00409366
Contributeur : Jean-Michel Muller <>
Soumis le : mardi 4 janvier 2011 - 10:32:12
Dernière modification le : jeudi 8 février 2018 - 11:09:25
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 17:26:27

Fichier

midpoints_TC_publies.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux. Midpoints and exact points of some algebraic functions in floating-point arithmetic. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. 〈10.1109/TC.2010.144〉. 〈ensl-00409366v3〉

Partager

Métriques

Consultations de la notice

256

Téléchargements de fichiers

157