Accuracy versus time: A case study with summation algorithms

PASCO'2010 - Proceedings of the 2010 International Workshop on Parallel Symbolic Computation

Volumn , Issue , 2010, Pages 121-130

  Langlois, Philippe ^a   Martel, Matthieu ^a   Thévenoux, Laurent ^a  

^a UNIVERSITÉ DE PERPIGNAN   (France)

Author keywords

Floating point numbers; Parallelism; Precision; Summation

Indexed keywords

ASSOCIATIVITY; COMPENSATION TECHNIQUES; CRITICAL PATHS; FLOATING POINT NUMBERS; NUMERICAL ALGORITHMS; PARALLELISM; PRECISION; SUMMATION; SUMMATION ALGORITHM; TIME CONSTRAINTS;

DIGITAL ARITHMETIC; OPTIMIZATION;

ALGORITHMS;

EID: 77956246616     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1837210.1837229     Document Type: Conference Paper

References (21)

1. ANSI/IEEE. IEEE Standard for Binary Floating-point Arithmetic, revision of std 754-1985 edition, 2008.
2. James Demmel. Trading off parallelism and numerical stability, 1992.
3. Stef Graillat and Philippe Langlois. Real and complex pseudozero sets for polynomials with applications. Theoretical Informatics and Applications, 41(1):45-56, 2007.
4. Nicholas J. Higham. The accuracy of floating point summation. SIAM Journal on Scientific Computing, 14:783-799, 1993.
5. Nicholas J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition, 2002.
6. Claude-Pierre Jeannerod, Hervé Knochel, Christophe Monat, and Guillaume Revy. Faster floating-point square root for integer processors. In IEEE Symposium on Industrial Embedded Systems (SIES'07), Lisbon, Portugal, July 2007.
7. Claude-Pierre Jeannerod and Guillaume Revy. Optimizing correctly-rounded reciprocal square roots for embedded VLIW cores. In Proceedings of the 43rd Asilomar Conference on Signals, Systems, and Computers (Asilomar'09), Pacific Grove, CA, USA, november 2009.
8. Donald E. Knuth. The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1997.
9. Philippe Langlois. Compensated algorithms in floating point arithmetic. In 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 2006. (Invited plenary speaker).
10. Jean Louis Lions, Remy Hergott (CNES), Bernard Humbert (Aerospatiale), and Eric Lefort (ESA). Ariane 5, flight 501 failure, report by the inquiry board, european space agency, 1996.
11. Matthieu Martel. Semantics of roundoff error propagation in finite precision calculations. Journal of Higher Order and Symbolic Computation, 19:7-30, 2006.
12. Matthieu Martel. Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Journal of Formal Methods in System Design, 35:265-278, 2009.
13. United States General Accounting Office. Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia. Report GAO/IMTEC-92-26, Information Management and Technology Division, Washington, D.C., February 1992.
14. Takeshi Ogita, Siegfried M. Rump, and Shin'ichi Oishi. Accurate sum and dot product. SIAM Journal on Scientific Computing, 26, 2005.
15. Michèle Pichat. Correction d'une somme en arithmétique à virgule flottante. Applied Numerical Mathematics, 19:400-406, 1972.
16. Douglas M. Priest. Algorithms for arbitrary precision floating point arithmetic. In Peter Kornerup and David W. Matula, editors, Proc. 10th IEEE Symposium on Computer Arithmetic, pages 132-143. IEEE Computer Society Press, Los Alamitos, CA, USA, 1991.
17. Guillaume Revy. Implementation of binary floating-point arithmeric on embedded integer processors. PhD thesis, École Normale Supérieure de Lyon, 2009.
18. Fred S. Roberts. Applied combinatorics. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1984.
19. Siegfried M. Rump. Ultimately fast accurate summation. SIAM Journal on Scientific Computing, 31(5):3466-3502, 2009.
20. Siegfried M. Rump, Takeshi Ogita, and Shin'ichi Oishi. Accurate floating-point summation - part I: Faithful rounding. SIAM Journal on Scientific Computing, 31(1):189-224, 2008.
21. Josef Stoer and Roland Bulirsch. Introduction to Numerical Analysis. Springer-Verlag, New York, second edition, 1993.