Skip to main content
SpringerLink
Log in
Book cover

Numerical Validation in Current Hardware Architectures

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Annie Cuyt

    1. Department of Mathematics and Computer Science, Universiteit Antwerpen, Antwerpen, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Walter Krämer

    1. Wissenschaftliches Rechnen/Softwaretechnologie, Bergische Universität Wuppertal, Wuppertal, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wolfram Luther

    1. Fakultät Ingenieurwissenschaften, Abteilung Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, Duisburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Peter Markstein

    1. Woodside, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5492)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Standardization/Hardware

    1. Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021

      • R. Baker Kearfott, John Pryce, Nathalie Revol
      Pages 1-6

    2. Complete Interval Arithmetic and Its Implementation on the Computer

      • Ulrich W. Kulisch
      Pages 7-26

  3. Tools

    1. Continued Fractions for Special Functions: Handbook and Software

      • Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun
      Pages 27-40

    2. A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

      • Frithjof Blomquist, Werner Hofschuster, Walter Krämer
      Pages 41-67

    3. C-XSC and Closely Related Software Packages

      • Werner Hofschuster, Walter Krämer, Markus Neher
      Pages 68-102

    4. Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments

      • Markus Grimmer
      Pages 103-116

    5. Mathematica Connectivity to Interval Libraries filib++ and C-XSC

      • Evgenija D. Popova
      Pages 117-132

  5. Linear Systems

    1. Error-Free Transformation in Rounding Mode toward Zero

      • Stef Graillat, Jean-Luc Lamotte, Diep Nguyen Hong
      Pages 217-229

    2. Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS

      • Walter Krämer, Michael Zimmer
      Pages 230-249

    3. A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC

      • Mariana Kolberg, Walter Krämer, Michael Zimmer
      Pages 250-261

  6. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.

Editors and Affiliations

  • Department of Mathematics and Computer Science, Universiteit Antwerpen, Antwerpen, Belgium

    Annie Cuyt

  • Wissenschaftliches Rechnen/Softwaretechnologie, Bergische Universität Wuppertal, Wuppertal, Germany

    Walter Krämer

  • Fakultät Ingenieurwissenschaften, Abteilung Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, Duisburg, Germany

    Wolfram Luther

  • Woodside, USA

    Peter Markstein

Bibliographic Information

  • Book Title: Numerical Validation in Current Hardware Architectures

  • Book Subtitle: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

  • Editors: Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-01591-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2009

  • Softcover ISBN: 978-3-642-01590-8Published: 24 April 2009

  • eBook ISBN: 978-3-642-01591-5Published: 28 April 2009

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 263

  • Topics: Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation