hal-00650659, version 1
SIPE: Small Integer Plus Exponent
N° RR-7832 (2011)
Résumé : SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C header file, to perform computations in very low precisions with correct rounding to nearest. The goal of such a tool is to do proofs of algorithms/properties or computations of error bounds in these precisions, in order to generalize them to higher precisions. The supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions.
- a – INRIA
- 1 : ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
- INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon
- Domaine : Informatique/Arithmétique des ordinateurs
- Mots-clés : low precision – arithmetic operations – correct rounding – C language
- Référence interne : RR-7832
- hal-00650659, version 1
- http://hal.inria.fr/hal-00650659
- oai:hal.inria.fr:hal-00650659
- Contributeur : Vincent Lefèvre
- Soumis le : Lundi 12 Décembre 2011, 05:42:23
- Dernière modification le : Vendredi 16 Décembre 2011, 08:58:11
Documents associés
Exporter