Portal - Seminar 08021

	Dagstuhl Seminar Proceedings 08021 Numerical Validation in Current Hardware Architectures A. Cuyt, W. Krämer, W. Luther, P. Markstein (Eds.)	published by LZI ISSN 1862 - 4405
	Dagstuhl Seminar 08021, 06.01. - 11.01.2008

Additional Information

Seminar Homepage
License
Search Publication Server

Authors

de Miguel Casado, Gregorio

Dyllong, Eva

García Chamizo, Juan Manuel

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 | Imprint | Privacy