default search action
Dagstuhl Seminar Proceedings: Numerical Validation in Current Hardware Architectures 2008
- Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Dagstuhl Seminar Proceedings 08021, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 - 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. - Ekaterina Auer, Wolfram Luther:
Numerical Verification Assessment in Computational Biomechanics. - 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. - Werner Hofschuster, Walter Krämer, Markus Neher:
C-XSC and Closely Related Software Packages. - Di Jiang, Neil F. Stewart:
Robustness of Boolean operations on subdivision-surface models. - 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.