| 2009 |
24 | | Annie A. M. Cuyt,
Walter Krämer,
Wolfram Luther,
Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
Springer 2009 |
| 2008 |
23 | | Annie A. M. Cuyt,
Walter Krämer,
Wolfram Luther,
Peter W. Markstein:
Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
22 | | Markus Grimmer,
Walter Krämer:
An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind.
CSC 2008: 204-210 |
21 | | Wolfram Luther,
Annie A. M. Cuyt,
Walter Krämer,
Peter W. Markstein:
08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures.
Numerical Validation in Current Hardware Architectures 2008 |
20 | | Annie A. M. Cuyt,
Walter Krämer,
Wolfram Luther,
Peter W. Markstein:
08021 Summary - Numerical Validation in Current Hardware Architectures.
Numerical Validation in Current Hardware Architectures 2008 |
19 | | Frithjof Blomquist,
Werner Hofschuster,
Walter Krämer:
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.
Numerical Validation in Current Hardware Architectures 2008 |
18 | | Mariana Luderitz Kolberg,
Walter Krämer,
Michael Zimmer:
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
Numerical Validation in Current Hardware Architectures 2008 |
17 | | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008 |
16 | | Michael Zimmer,
Walter Krämer:
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS.
Numerical Validation in Current Hardware Architectures 2008 |
15 | | Walter Krämer,
Michael Zimmer:
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.
Numerical Validation in Current Hardware Architectures 2008: 230-249 |
14 | | Mariana Luderitz Kolberg,
Walter Krämer,
Michael Zimmer:
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
Numerical Validation in Current Hardware Architectures 2008: 250-261 |
13 | | Frithjof Blomquist,
Werner Hofschuster,
Walter Krämer:
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.
Numerical Validation in Current Hardware Architectures 2008: 41-67 |
12 | | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008: 68-102 |
| 2007 |
11 | | Markus Grimmer,
Walter Krämer:
An MPI Extension for Verified Numerical Computations in Parallel Environments.
CSC 2007: 111-117 |
| 2006 |
10 | | Michael Lerch,
German Tischler,
Jürgen Wolff von Gudenberg,
Werner Hofschuster,
Walter Krämer:
FILIB++, a fast interval library supporting containment computations.
ACM Trans. Math. Softw. 32(2): 299-324 (2006) |
| 2003 |
9 | | Werner Hofschuster,
Walter Krämer:
C-XSC 2.0: A C++ Library for Extended Scientific Computing.
Numerical Software with Result Verification 2003: 15-35 |
8 | | Achim Zeileis,
Christian Kleiber,
Walter Krämer,
Kurt Hornik:
Testing and dating of structural changes in practice.
Computational Statistics & Data Analysis 44(1-2): 109-123 (2003) |
7 | | Walter Krämer,
Jürgen Wolff von Gudenberg:
Extended Interval Power Function.
Reliable Computing 9(5): 339-347 (2003) |
| 2001 |
6 | | Walter Krämer,
Armin Bantle:
Automatic Forward Error Analysis for Floating Point Algorithms.
Reliable Computing 7(4): 321-340 (2001) |
| 2000 |
5 | | Werner Hofschuster,
Walter Krämer:
Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms?
Reliable Computing 6(2): 207-218 (2000) |
| 1998 |
4 | | Walter Krämer:
A Priori Worst Case Error Bounds for Floating-Point Computations.
IEEE Trans. Computers 47(7): 750-756 (1998) |
| 1997 |
3 | | Walter Krämer:
A Priori Worst-Case Error Bounds for Floating-Point Computations.
IEEE Symposium on Computer Arithmetic 1997: 64- |
2 | | Walter Krämer:
Constructive Error Analysis.
J. UCS 4(2): 147-163 (1997) |
1 | | Werner Hofschuster,
Walter Krämer:
A Computer Oriented Approach to Get Sharp Reliable Error Bounds.
Reliable Computing 3(3): 239-248 (1997) |