Dagstuhl Seminar Proceedings 08021

Numerical Validation in Current Hardware Architectures

A. Cuyt, W. Krämer, W. Luther, P. Markstein (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 08021, 06.01. - 11.01.2008
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Auer, Ekaterina
  • Blomquist, Frithjof
  • Bohlender, Gerd
  • Claudio, Dalcidio
  • Corliss, George C.
  • Cuyt, Annie
  • de Miguel Casado, Gregorio
  • Dyllong, Eva
  • García Chamizo, Juan Manuel
  • Grimmer, Markus
  • Hofer, Eberhard P.
  • Hofschuster, Werner
  • Jiang, Di
  • Kearfott, R. Baker
  • Kieffer, Michel
  • Kolberg, Mariana
  • Krämer, Walter
  • Kulisch, Ulrich
  • Luther, Wolfram
  • Markstein, Peter
  • Minisini, Johanna
  • Nedialkov, Ned S.
  • Neher, Markus
  • Popova, Evgenija D.
  • Pryce, John D.
  • Rauh, Andreas
  • Smith, Spencer
  • Stewart, Neil
  • Wolff von Gudenberg, Jürgen
  • Zimmer, Michael
  • Zimmermann, Paul

  •   
    08021 Abstracts Collection -- Numerical Validation in Current Hardware Architectures
    Authors: Luther, Wolfram ; Cuyt, Annie ; Krämer, Walter ; Markstein, Peter

    Abstract | Document (272 KB) | BibTeX

    08021 Summary -- Numerical Validation in Current Hardware Architectures
    Authors: Cuyt, Annie ; Krämer, Walter ; Luther, Wolfram ; Markstein, Peter

    Abstract | Document (42 KB) | BibTeX

    A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
    Authors: Blomquist, Frithjof ; Hofschuster, Werner ; Krämer, Walter

    Abstract | Document (145 KB) | BibTeX

    A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
    Authors: Kolberg, Mariana ; Krämer, Walter ; Zimmer, Michael

    Abstract | Document (142 KB) | BibTeX

    A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
    Authors: Dyllong, Eva

    Abstract | Document (142 KB) | BibTeX

    A Software Library for Reliable Online-Arithmetic with Rational Numbers
    Authors: de Miguel Casado, Gregorio ; García Chamizo, Juan Manuel

    Abstract | Document (71 KB) | BibTeX

    C-XSC and Closely Related Software Packages
    Authors: Hofschuster, Werner ; Krämer, Walter ; Neher, Markus

    Abstract | Document (122 KB) | BibTeX

    Complete Interval Arithmetic and its Implementation
    Authors: Kulisch, Ulrich

    Abstract | Document (152 KB) | BibTeX

    Distributed parameter and state estimation in a network of sensors
    Authors: Kieffer, Michel

    Abstract | Document (438 KB) | BibTeX

    Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments
    Authors: Grimmer, Markus

    Abstract | Document (224 KB) | BibTeX

    Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS
    Authors: Zimmer, Michael ; Krämer, Walter

    Abstract | Document (275 KB) | BibTeX

    Implementation of the reciprocal square root in MPFR
    Authors: Zimmermann, Paul

    Abstract | Document (160 KB) | BibTeX

    Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
    Authors: Kolberg, Mariana ; Bohlender, Gerd ; Claudio, Dalcidio

    Abstract | Document (166 KB) | BibTeX

    Interval Arithmetic and Standardization
    Authors: Wolff von Gudenberg, Jürgen

    Abstract | Document (140 KB) | Document 2 (197 KB) | BibTeX

    Numerical Verification Assessment in Computational Biomechanics
    Authors: Auer, Ekaterina ; Luther, Wolfram

    Abstract | Document (342 KB) | BibTeX

    On the Interoperability between Interval Software
    Authors: Popova, Evgenija D.

    Abstract | Document (315 KB) | BibTeX

    Robustness of Boolean operations on subdivision-surface models
    Authors: Jiang, Di ; Stewart, Neil

    Abstract | Document (155 KB) | BibTeX

    Second Note on Basic Interval Arithmetic for IEEE754R
    Authors: Pryce, John D. ; Corliss, George C. ; Kearfott, R. Baker ; Nedialkov, Ned S. ; Smith, Spencer

    Abstract | Document (141 KB) | BibTeX

    The CoStLy C++ Class Library
    Authors: Neher, Markus

    Abstract | Document (161 KB) | BibTeX

    The New IEEE-754 Standard for Floating Point Arithmetic
    Authors: Markstein, Peter

    Abstract | Document (266 KB) | BibTeX

    Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering
    Authors: Rauh, Andreas ; Minisini, Johanna ; Hofer, Eberhard P.

    Abstract | Document (1,223 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint
    Published by LZI