|
Search the dblp DataBase
Walter Krämer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Walter Krämer
A Priori Worst-Case Error Bounds for Floating-Point Computations. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 1997, pp:64-0 [Conf]
- Werner Hofschuster, Walter Krämer
C-XSC 2.0: A C++ Library for Extended Scientific Computing. [Citation Graph (0, 0)][DBLP] Numerical Software with Result Verification, 2003, pp:15-35 [Conf]
- Walter Krämer
Constructive Error Analysis. [Citation Graph (0, 0)][DBLP] J. UCS, 1997, v:4, n:2, pp:147-163 [Journal]
- Werner Hofschuster, Walter Krämer
Mathematical Function Software on the Web--Are Such Codes Useful for Verification Algorithms? [Citation Graph (0, 0)][DBLP] Reliable Computing, 2000, v:6, n:2, pp:207-218 [Journal]
- Werner Hofschuster, Walter Krämer
A Computer Oriented Approach to Get Sharp Reliable Error Bounds. [Citation Graph (0, 0)][DBLP] Reliable Computing, 1997, v:3, n:3, pp:239-248 [Journal]
- Walter Krämer, Armin Bantle
Automatic Forward Error Analysis for Floating Point Algorithms. [Citation Graph (0, 0)][DBLP] Reliable Computing, 2001, v:7, n:4, pp:321-340 [Journal]
- Walter Krämer, Jürgen Wolff von Gudenberg
Extended Interval Power Function. [Citation Graph (0, 0)][DBLP] Reliable Computing, 2003, v:9, n:5, pp:339-347 [Journal]
- Walter Krämer
A Priori Worst Case Error Bounds for Floating-Point Computations. [Citation Graph (0, 0)][DBLP] IEEE Trans. Computers, 1998, v:47, n:7, pp:750-756 [Journal]
- Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer
FILIB++, a fast interval library supporting containment computations. [Citation Graph (0, 0)][DBLP] ACM Trans. Math. Softw., 2006, v:32, n:2, pp:299-324 [Journal]
- Achim Zeileis, Christian Kleiber, Walter Krämer, Kurt Hornik
Testing and dating of structural changes in practice. [Citation Graph (0, 0)][DBLP] Computational Statistics & Data Analysis, 2003, v:44, n:1-2, pp:109-123 [Journal]
An MPI Extension for Verified Numerical Computations in Parallel Environments. [Citation Graph (, )][DBLP]
An Open Source Parallel Interval Solver for Systems of Linear Fredholm Integral Equations of the Second Kind. [Citation Graph (, )][DBLP]
08021 Abstracts Collection - Numerical Validation in Current Hardware Architectures. [Citation Graph (, )][DBLP]
C-XSC and Closely Related Software Packages. [Citation Graph (, )][DBLP]
08021 Summary - Numerical Validation in Current Hardware Architectures. [Citation Graph (, )][DBLP]
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. [Citation Graph (, )][DBLP]
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. [Citation Graph (, )][DBLP]
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. [Citation Graph (, )][DBLP]
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. [Citation Graph (, )][DBLP]
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. [Citation Graph (, )][DBLP]
C-XSC and Closely Related Software Packages. [Citation Graph (, )][DBLP]
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. [Citation Graph (, )][DBLP]
Communicating Functional Expressions from Mathematica to C-XSC. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|