![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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.
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.