Dagstuhl Seminar Proceedings: Numerical Validation in Current Hardware Architectures 2008
Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 Dagstuhl Seminar Proceedings 08021- Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein: 08021 Summary - Numerical Validation in Current Hardware Architectures.
- Jürgen Wolff von Gudenberg: Interval Arithmetic and Standardization.
- Paul Zimmermann: Implementation of the reciprocal square root in MPFR.
- Michael Zimmer, Walter Krämer: Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.
- Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio: Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
- Gregorio de Miguel Casado, Juan Manuel García Chamizo: A Software Library for Reliable Online-Arithmetic with Rational Numbers.
- Eva Dyllong: A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling.
- Markus Grimmer: Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments.
- Michel Kieffer: Distributed parameter and state estimation in a network of sensors.
- Frithjof Blomquist, Werner Hofschuster, Walter Krämer: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.
- Ulrich W. Kulisch: Complete Interval Arithmetic and its Implementation.
- Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer: A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
- Peter W. Markstein: The New IEEE-754 Standard for Floating Point Arithmetic.
- Markus Neher: The CoStLy C++ Class Library.
- Evgenija D. Popova: On the Interoperability between Interval Software.
- John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith: Second Note on Basic Interval Arithmetic for IEEE754R.
- Andreas Rauh, Johanna Minisini, Eberhard P. Hofer: Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering.
- Wolfram Luther, Annie A. M. Cuyt, Walter Krämer, Peter W. Markstein: 08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team