Skip to main content
SpringerLink
Log in

Comments on Fast and Exact Accumulation of Products

  • Conference paper
Applied Parallel and Scientific Computing (PARA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7134))

Included in the following conference series:

Abstract

A new IEEE arithmetic standard 1788 is currently being worked out. It will specify interval arithmetic and an exact dot product (EDP). In an EDP, an arbitrary finite number of products is accumulated without rounding errors.

These are essential tools for computations with reliable and accurate results. In high performance computing, it is necessary that implementations of interval arithmetic and the EDP must be as efficient as the ordinary floating-point arithmetic. In this paper, fast and accurate solutions for the EDP are presented.

Required by the IEEE Standards Committee P1788.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Blomquist, F., Hofschuster, W., Krämer, W.: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol. 5492, pp. 41–67. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  2. Bohlender, G.: Genaue Berechnung mehrfacher Summen, Produkte und Wurzeln von Gleitkommazahlen und allgemeine Arithmetik in höheren Programmiersprachen. Dissertation, Universität Karlsruhe (1978)

    Google Scholar 

  3. Bohlender, G.: What Do We Need Beyond IEEE Arithmetic? In: Ullrich, C. (ed.) Computer Arithmetic and Self-Validating Numerical Methods, pp. 1–32. Academic Press, San Diego (1990)

    Chapter  Google Scholar 

  4. Bohlender, G., Walter, W., Kornerup, P., Matula, D.W.: Semantics for Exact Floating Point Operations. In: Proceedings of 10th IEEE Symposium on Computer Arithmetic, June 26-28, pp. 22–26. IEEE (1991)

    Google Scholar 

  5. Bohlender, G., Kolberg, M., Cordeiro, D., Fernandes, G., Goldman, A.: A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. In: PARA – Workshop on State-of-the-Art in Scientific and Parallel Computing. Trondheim, 2008. Accepted for publication in LNCS. Springer, Heidelberg (2009)

    Google Scholar 

  6. Bohlender, G., Kolberg, M., Claudio, D.: Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In: Palma, J.M.L.M., Amestoy, P.R., Daydé, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol. 5336, pp. 13–26. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Hofschuster, W., Krämer, W.: C-XSC 2.0 – A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Num. Software with Result Verification. LNCS, vol. 2991, pp. 15–35. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Hofschuster, W., Krämer, W., Neher, M.: C-XSC and Closely Related Software Packages. In: Cuyt, A., et al. (eds.) Numerical Validation. LNCS, vol. 5492, pp. 68–102. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Hofschuster, W., Krämer, W.: C-XSC 2.4.0 – A C++ Class Library, www2.math.uni-wuppertal.de/~xsc/xsc/cxsc_new.html (accessed August 17, 2010)

  10. IEEE Society IEEE Interval Standard Working Group - P1788, grouper.ieee.org/groups/1788/ (accessed August 17, 2010)

  11. Kulisch, U., Lohner, R., Facius, A. (eds.): Perspectives on Enclosure Methods. Springer, Heidelberg (2001)

    Google Scholar 

  12. Kulisch, U.: Advanced Arithmetic for the Digital Computer – Design of Arithmetic Units. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  13. Kulisch, U.: Computer Arithmetic and Validity – Theory, Implementation, and Applications. de Gruyter (2008)

    Google Scholar 

  14. Kulisch, U., Snyder, V.: The Exact Dot Product as Basic Tool for Long Interval Arithmetic. Computing, Wien (2010), dx.doi.org/10.1007/s00607-010-0127-7 (accessed December 10, 2010)

    Google Scholar 

  15. Lohner, R.: Interval Arithmetic in Staggered Correction Format. In: Adams, E., Kulisch, U. (eds.) Scientific Computing with Automatic Result Verification. Academic Press (1993)

    Google Scholar 

  16. Malcolm, M.A.: On Accurate Floating-Point Summation. Comm. ACM 14(11), 731–736 (1971)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM Journal on Scientific Computing 26(6), 1955–1988 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  18. Pichat, M.: Correction d’une somme en arithmétique à virgule flottante. Numerische Mathematik 19, 400–406 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  19. Rump, S.M.: Ultimately Fast Accurate Summation. SIAM Journal on Scientific Computing 3(5), 3466–3502 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  20. Rump, S.M.: Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 287–449 (2010)

    Google Scholar 

  21. Yamanaka, N., Ogita, T., Rump, S.M., Oishi, S.: A Parallel Algorithm for Accurate Dot Product. Parallel Computing 34, 392–410 (2008)

    Article  MathSciNet  Google Scholar 

  22. Zimmer, M., Krämer, W., Bohlender, G., Hofschuster, W.: Extension of the C-XSC Library with Scalar Products with Selectable Accuracy. To Appear in Serdica Journal of Computing 4, 3 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Applied and Numerical Mathematics 2, Karlsruhe Institue of Technology, P.O. Box 6980, D-76049, Karlsruhe, Germany

    Gerd Bohlender & Ulrich Kulisch

Authors
  1. Gerd Bohlender
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ulrich Kulisch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kristján Jónasson

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bohlender, G., Kulisch, U. (2012). Comments on Fast and Exact Accumulation of Products. In: Jónasson, K. (eds) Applied Parallel and Scientific Computing. PARA 2010. Lecture Notes in Computer Science, vol 7134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28145-7_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-28145-7_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28144-0

  • Online ISBN: 978-3-642-28145-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation