Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Walter Krämer
2010 – today
- 2013
[j12]Michael Zimmer, Gabor Rebner, Walter Krämer: An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory. Soft Comput. 17(8): 1453-1465 (2013)- 2012
- [j11]Michael Zimmer, Walter Krämer, Evgenija D. Popova: Solvers for the verified solution of parametric linear systems. Computing 94(2-4): 109-123 (2012)
- [j10]Walter Krämer: Multiple/arbitrary precision interval computations in C-XSC. Computing 94(2-4): 229-241 (2012)
- [j9]Laurie Davies, Christian Höhenrieder, Walter Krämer: Recursive computation of piecewise constant volatilities. Computational Statistics & Data Analysis 56(11): 3623-3631 (2012)
- 2011
- [c17]Walter Krämer, Frithjof Blomquist: Arbitrary Precision Complex Interval Computations in C-XSC. PPAM (2) 2011: 457-466
- 2010
- [c16]Evgenija D. Popova, Walter Krämer: Communicating Functional Expressions from Mathematica to C-XSC. ICMS 2010: 354-365
- [c15]Walter Krämer, Michael Zimmer, Werner Hofschuster: Using C-XSC for High Performance Verified Computing. PARA (2) 2010: 168-178
2000 – 2009
- 2009
- [e2]Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): Numerical Validation in Current Hardware Architectures, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers. Lecture Notes in Computer Science 5492, Springer 2009, ISBN 978-3-642-01590-8
- 2008
- [c14]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
- [c13]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
- [c12]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
- [c11]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
- [c10]Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008
- [c9]Werner Hofschuster, Walter Krämer, Markus Neher: C-XSC and Closely Related Software Packages. Numerical Validation in Current Hardware Architectures 2008: 68-102
- [c8]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
- [c7]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
- [c6]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
- [c5]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
- [c4]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
- [e1]Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein (Eds.): 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
- 2007
- [c3]Markus Grimmer, Walter Krämer: An MPI Extension for Verified Numerical Computations in Parallel Environments. CSC 2007: 111-117
- 2006
- [j8]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
- [j7]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)
- [j6]Walter Krämer, Jürgen Wolff von Gudenberg: Extended Interval Power Function. Reliable Computing 9(5): 339-347 (2003)
- [c2]Werner Hofschuster, Walter Krämer: C-XSC 2.0: A C++ Library for Extended Scientific Computing. Numerical Software with Result Verification 2003: 15-35
- 2001
- [j5]Walter Krämer, Armin Bantle: Automatic Forward Error Analysis for Floating Point Algorithms. Reliable Computing 7(4): 321-340 (2001)
- 2000
- [j4]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)
1990 – 1999
- 1998
- [j3]Walter Krämer: A Priori Worst Case Error Bounds for Floating-Point Computations. IEEE Trans. Computers 47(7): 750-756 (1998)
- 1997
- [j2]
- [j1]Werner Hofschuster, Walter Krämer: A Computer Oriented Approach to Get Sharp Reliable Error Bounds. Reliable Computing 3(3): 239-248 (1997)
- [c1]Walter Krämer: A Priori Worst-Case Error Bounds for Floating-Point Computations. IEEE Symposium on Computer Arithmetic 1997: 64-
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:24 CEST by the dblp team