SIPE: Small Integer Plus Exponent - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2011

SIPE: Small Integer Plus Exponent

Vincent Lefèvre
Computer arithmetic
CV

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.
SIPE (Small Integer Plus Exponent) est une mini-bibliothèque sous forme de fichier d'en-tête C permettant d'effectuer des calculs à très basses précisions avec arrondi correct au plus près. Le but d'un tel outil est de faire des preuves d'algorithmes/propriétés ou des calculs de bornes d'erreur dans ces précisions, afin de les généraliser à des précisions supérieures. Les opérations supportées sont l'addition, la soustraction, la multiplication, le FMA, et diverses comparaisons et conversions.

Domaines

Arithmétique des ordinateurs
Fichier principal
Vignette du fichier
RR-7832.pdf (248.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Vincent Lefèvre  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00650659

Soumis le : lundi 12 décembre 2011-05:42:23

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : mardi 13 mars 2012-02:21:27

Télécharger pour visualiser

Dates et versions

hal-00650659 , version 1 (12-12-2011)

Identifiants

  • HAL Id : hal-00650659 , version 1

Citer

Vincent Lefèvre. SIPE: Small Integer Plus Exponent. [Research Report] RR-7832, INRIA. 2011, pp.21. ⟨hal-00650659⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA-RRRT INRIA2 LARA UDL
251 Consultations
337 Téléchargements

Partager

More