CR-LIBM: The evaluation of the exponential - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

CR-LIBM: The evaluation of the exponential

(1) , (1) , (1) , (1)
1

Résumé

We present a new elementary function library, called CR-LIBM. This library implements the various functions defined by the Ansi99 C standard. It provides correctly rounded functions. When writing this library, our primarily goal was to certify correct rounding, and make it reasonably fast, and with a low utilisation of memory. Hence, our library can be used without any problem on real-scale problems. We are also giving the proof and the elements to understand the implementation of the exponential function of CR-LIBM.
Nous présentons une nouvelle bibliothèque d’évaluation de fonctions élémentaires, appelée CR-LIBM. Cette bibliothèque implémente les différentes fonctions définies par le standard Ansi C99. Sa principale caractéristique est de fournir l’arrondi correct pour la double précision et les quatre modes d’arrondi. Lors de l’écriture de cette bibliothèque, nos principaux objectifs étaient de certifier l’arrondi correct en ne dégradant pas les performances, et en li-mitant l’utilisation de mémoire. De ce fait, les fonctions de notre bibliothèque peuvent être utilisées sans problèmes dans des applications réelles.Nous donnons également pour l’implémentation de l’exponentielle, la preuve pour certifier l’arrondi correct, et les éléments nécessaires pour comprendre les choix faits.
Fichier principal
Vignette du fichier
RR2003-37.pdf (229.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02102084 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02102084 , version 1

Citer

C. Daramy, David Defour, Florent de Dinechin, Jean-Michel Muller. CR-LIBM: The evaluation of the exponential. [Research Report] LIP RR-2003-37, Laboratoire de l'informatique du parallélisme. 2003, 2+37p. ⟨hal-02102084⟩
14 Consultations
23 Téléchargements

Partager

Gmail Facebook Twitter LinkedIn More