s'authentifier
version française rss feed

inria-00367584, version 2

On the Computation of Correctly-Rounded Sums

Peter Kornerup 1, Vincent Lefèvre a2, Nicolas Louvet b2, Jean-Michel Muller c2

19th IEEE Symposium on Computer Arithmetic - Arith'19 (2009)

Résumé : This paper presents a study of some basic blocks needed in the design of floating-point summation algorithms. In particular, we show that among the set of the algorithms with no comparisons performing only floating-point additions/subtractions, the 2Sum algorithm introduced by Knuth is minimal, both in terms of number of operations and depth of the dependency graph. Under reasonable conditions, we also prove that no algorithms performing only round-to-nearest additions/subtractions exist to compute the round-to-nearest sum of at least three floating-point numbers. Starting from an algorithm due to Boldo and Melquiond, we also present new results about the computation of the correctly-rounded sum of three floating-point numbers.

  • Domaine : Informatique/Autre
    Informatique/Arithmétique des ordinateurs
  • Mots-clés : floating-point arithmetic – summation algorithms – correct rounding – 2Sum and Fast2Sum algorithms
  • Versions disponibles :  v1 (11-03-2009) v2 (23-03-2009)
 
  • inria-00367584, version 2
  • oai:hal.inria.fr:inria-00367584
  • Contributeur : 
  • Soumis le : Lundi 23 Mars 2009, 15:46:55
  • Dernière modification le : Mardi 19 Mai 2009, 10:58:35
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...