2008 |
6 | EE | 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 |
5 | EE | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008 |
2006 |
4 | EE | 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 |
3 | EE | Werner Hofschuster,
Walter Krämer:
C-XSC 2.0: A C++ Library for Extended Scientific Computing.
Numerical Software with Result Verification 2003: 15-35 |
2000 |
2 | EE | 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) |
1997 |
1 | EE | Werner Hofschuster,
Walter Krämer:
A Computer Oriented Approach to Get Sharp Reliable Error Bounds.
Reliable Computing 3(3): 239-248 (1997) |