Théorie et pratique de l'arithmétique stochastique discrète

Fabienne Jézéquel 1 Jean-Marie Chesneaux 1
1 ANP - Algorithmique numérique et parallélisme
LIP6 - Laboratoire d'Informatique de Paris 6
Résumé : Quel que soit le type d'architecture, se pose le problème de la validation numérique de calculs en virgule flottante. L'Arithmétique Stochastique Discrète (ASD), basée sur la méthode CESTAC, est une réponse possible. Après avoir brièvement rappelé les aspects théoriques, nous décrivons différentes implantations de cette arithmétique. Nous terminons en présentant plusieurs théorèmes basés sur le contrôle des erreurs d'arrondi dans la programmation scientifique et leurs applications via l'ASD.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01149466
Contributor : Lip6 Publications <>
Submitted on : Thursday, May 7, 2015 - 10:35:02 AM
Last modification on : Thursday, March 21, 2019 - 1:13:13 PM

Identifiers

  • HAL Id : hal-01149466, version 1

Citation

Fabienne Jézéquel, Jean-Marie Chesneaux. Théorie et pratique de l'arithmétique stochastique discrète. Réseaux et systèmes répartis - Calculateurs parallèles, Hermès Science, 2001, 13 (4-5), pp.485-504. ⟨hal-01149466⟩

Share

Metrics

Record views

151