© 2009

Numerical Validation in Current Hardware Architectures

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

  • Annie Cuyt
  • Walter Krämer
  • Wolfram Luther
  • Peter Markstein
Conference proceedings

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

Table of contents

  1. Front Matter
  2. Standardization/Hardware

  3. Tools

    1. Annie Cuyt, Franky Backeljauw, Stefan Becuwe, Michel Colman, Tom Docx, Joris Van Deun
      Pages 27-40
    2. Frithjof Blomquist, Werner Hofschuster, Walter Krämer
      Pages 41-67
    3. Werner Hofschuster, Walter Krämer, Markus Neher
      Pages 68-102
  4. Applications

  5. Linear Systems

    1. Stef Graillat, Jean-Luc Lamotte, Diep Nguyen Hong
      Pages 217-229
    2. Mariana Kolberg, Walter Krämer, Michael Zimmer
      Pages 250-261
  6. Back Matter

About these proceedings


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.


C-XSC CAD IEEE 754 IEEE 854 biomechanics continued fractions filib floating point interval arithmetic mathematica multiple precision arithmetic sensor networks solid modeling subdivision surfaces verification

Editors and affiliations

  • Annie Cuyt
    • 1
  • Walter Krämer
    • 2
  • Wolfram Luther
    • 3
  • Peter Markstein
    • 4
  1. 1.Department of Mathematics and Computer ScienceUniversiteit AntwerpenAntwerpenBelgium
  2. 2.Wissenschaftliches Rechnen/SoftwaretechnologieBergische Universität WuppertalWuppertalGermany
  3. 3.Fakultät Ingenieurwissenschaften, Abteilung Informatik und Angewandte KognitionswissenschaftUniversität Duisburg-EssenDuisburgGermany
  4. 4.WoodsideUSA

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 A.M. Cuyt
    Walter Krämer
    Wolfram Luther
    Peter Markstein
  • Series Title Lecture Notes in Computer Science
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-642-01590-8
  • eBook ISBN 978-3-642-01591-5
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 263
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Computer Science, general
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods