SIPE: Small Integer Plus Exponent - Inria - Institut national de recherche en sciences et technologies du numérique
Autre Publication Année : 2012

SIPE: Small Integer Plus Exponent

Vincent Lefèvre
Arithmetic and Computing
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 in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
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 en base 2. 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 actuellement supportées sont l'addition, la soustraction, la multiplication, le FMA, et diverses comparaisons et conversions. Des comparaisons de temps de calcul ont été faites avec la virgule flottante IEEE 754 du processeur et avec GNU MPFR.

Domaines

Arithmétique des ordinateurs
Fichier principal
Vignette du fichier
arith21-tmp.pdf (136.59 Ko) Télécharger le fichier
ReadMe (2.39 Ko) Télécharger le fichier
inst-lto-libs (3.53 Ko) Télécharger le fichier
latex-tables (3.56 Ko) Télécharger le fichier
minasm.c (18.58 Ko) Télécharger le fichier
run-cc-tminasm (3.53 Ko) Télécharger le fichier
sipe-test.c (13.06 Ko) Télécharger le fichier
sipe.h (19.19 Ko) Télécharger le fichier
table-template (1.97 Ko) Télécharger le fichier
update-ratios (1.67 Ko) Télécharger le fichier
version-info.h (2.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre
Format Autre

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

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

Soumis le : mercredi 12 décembre 2012-02:03:49

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

Archivage à long terme le : mercredi 13 mars 2013-03:52:00

Télécharger pour visualiser

Dates et versions

hal-00763954 , version 1 (12-12-2012)
hal-00763954 , version 2 (24-01-2013)
hal-00763954 , version 3 (25-01-2013)

Identifiants

  • HAL Id : hal-00763954 , version 1

Citer

Vincent Lefèvre. SIPE: Small Integer Plus Exponent. 2012. ⟨hal-00763954v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
283 Consultations
219 Téléchargements

Partager

More