 | 2010 |
|---|
| 9 |       | Walter Krämer,
Michael Zimmer,
Werner Hofschuster:
Using C-XSC for High Performance Verified Computing.
PARA (2) 2010: 168-178 |
| 2008 |
|---|
| 8 | | 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 |
| 7 | | 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 |
| 6 | | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008: 68-102 |
| 5 | | Werner Hofschuster,
Walter Krämer,
Markus Neher:
C-XSC and Closely Related Software Packages.
Numerical Validation in Current Hardware Architectures 2008 |
| 2006 |
|---|
| 4 | | 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 | | 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 | | 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 | | Werner Hofschuster,
Walter Krämer:
A Computer Oriented Approach to Get Sharp Reliable Error Bounds.
Reliable Computing 3(3): 239-248 (1997) |
Data released under the ODC-BY 1.0 license — See also our legal information page