| Identifiant de l'article : |
 |
ensl-00278430, version 1 |
|
|
| Domaine : |
|
Informatique/Autre
|
|
|
| Titre : |
|
Computing Correctly Rounded Integer Powers in Floating-Point Arithmetic |
|
|
| Auteur(s) : |
|
Jean-Michel Muller1, 2, Peter Kornerup3, Christoph Lauter1, 2, Vincent Lefèvre1, 2, Nicolas Louvet1, 2 |
|
|
| Laboratoire : |
|
| 1 : |
Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme - ARENAIRE |
|
| 2 : |
LIP - Laboratoire de l'Informatique du Parallélisme |
|
| 3 : |
IMADA - Department of Mathematics and Computer Science |
|
|
|
| Équipe de recherche : |
|
[ARENAIRE - Arithmétique des ordinateurs] |
| Résumé : |
|
We introduce several algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. We aim at always obtaining correctly-rounded results in round-to-nearest mode, that is, our algorithms return the floating-point number that is nearest the exact value. |
|
|
|
Langue du texte
intégral : |
|
Anglais |
|
|
| Mots-clés : |
|
Floating-point arithmetic – Integer powers – Fused multiply-add – Correct rounding |
|
|
| Commentaire : |
|
23 pages |
|
|
| Classification : |
|
ACM B.2.4; G.1.0 |
|
|
| Référence interne : |
|
Rapport de recherche LIP n° 2008-15 |
|
|
|
Récupérer au format
