Correctly rounded multiplication by arbitrary precision constants

Abstract : We introduce an algorithm for multiplying a floating-point number $x$ by a constant $C$ that is not exactly representable in floating-point arithmetic. Our algorithm uses a multiplication and a fused multiply and add instruction. We give methods for checking whether, for a given value of $C$ and a given floating-point format, our algorithm returns a correctly rounded result for any $x$. When it does not, our methods give the values $x$ for which it does not.
Type de document :
Communication dans un congrès
Paolo Montuschi; Eric Schwarz. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, United States. IEEE Computer Society, 2005, 〈10.1109/ARITH.2005.13〉
Liste complète des métadonnées

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

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00000010
Contributeur : Jean-Michel Muller <>
Soumis le : jeudi 13 avril 2006 - 10:43:28
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : samedi 3 avril 2010 - 22:17:10

Fichier

Identifiants

Citation

Jean-Michel Muller, Nicolas Brisebarre. Correctly rounded multiplication by arbitrary precision constants. Paolo Montuschi; Eric Schwarz. ARITH'17, 17th IEEE Symposium on Computer Arithmetic, Jun 2005, Cape Cod, United States. IEEE Computer Society, 2005, 〈10.1109/ARITH.2005.13〉. 〈ensl-00000010〉

Partager

Métriques

Consultations de la notice

182

Téléchargements de fichiers

80