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

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01590-8
  • Online ISBN 978-3-642-01591-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods