Abstract
C-XSC is a C++ class library for scientific computing, with its main focus on reliable interval computations. Recently, several changes and new features have been implemented, making C-XSC much more suitable for tasks in high performance computing. However, these changes require that users take several factors into consideration when writing and compiling programs using C-XSC to get the best possible performance while still maintaining a sufficient level of numerical accuracy. This paper gives an overview of the most important points concerning these factors and tries to give background information and recommendations to the end user for the implementation of efficient C-XSC programs.
Remark: An accompanying extended version of this paper is available, see [10].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blomquist, F., Hofschuster, W., Krämer, W.: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol. 5492, pp. 41–67. Springer, Heidelberg (2009)
GCC online documentation, http://gcc.gnu.org/onlinedocs
Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I: Basic Numerical Problems. Springer, Heidelberg (1993)
ANSI/IEEE Std. 754-1985, A Standard for Binary Floating-Point Arithmetic. New York, 1985; reprinted in SIGPLAN 22(2), 9–25 (1987)
Forthcoming IEEE-1788 interval standard
Intel C++ Compiler User and Reference Guides. Available on the Intel Compiler Homepage, http://software.intel.com/en-us/intel-compilers
Hofschuster, W., Krämer, W.: C-XSC 2.0 – A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Num. Software with Result Verification. LNCS, vol. 2991, pp. 15–35. Springer, Heidelberg (2004)
Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C-XSC - A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)
Krämer, W., Zimmer, M.: Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol. 5492, pp. 230–249. Springer, Heidelberg (2009)
Krämer, W., Zimmer, M., Hofschuster, W.: Using C-XSC for High Performance Verified Computing. Preprint BUW-WRSWT 2009/5, University of Wuppertal (2009)
Kulisch, U., Miranker, W.: The arithmetic of the digital computer: A new approach. SIAM Rev. 28(1), 1–40 (1986)
Kulisch, U.: Die fünfte Gleitkommaoperation für Top-Performance Computer. Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und numerische Algorithmen mit Ergebnisverifikation, Univ. Karlsruhe (1997)
Kulisch, U.: Computer Arithmetic and Validity: Theory, Implementation, and Applications, de Gruyter Studies in Mathematics (2008)
Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM Journal on Scientific Computing 26, 6 (2005)
Popova, E., Kolev, L., Krämer, W.: A Solver For Complex-Valued Parametric Linear Systems. Serdica Journal of Computing 4(1), 123–132 (2010)
Zimmer, M., Krämer, W., Hofschuster, W.: Sparse Matrices and Vectors in C-XSC, BUW-WRSWT 2009/7, Preprint 2009/7, Universität Wuppertal (2009)
Zimmer, M.: Laufzeiteffiziente, parallele Löser für lineare Intervallgleichungssysteme in C-XSC. Master Thesis, University of Wuppertal (2007)
Zimmer, M., Krämer, W., Bohlender, G., Hofschuster, W.: Extension of the C-XSC Library with Scalar Products with Selectable Accuracy. Serdica Journal of Computation 4(3), 349–370 (2010)
C-XSC Website, http://www.math.uni-wuppertal.de/wrswt/xsc/cxsc_new.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krämer, W., Zimmer, M., Hofschuster, W. (2012). Using C-XSC for High Performance Verified Computing. In: Jónasson, K. (eds) Applied Parallel and Scientific Computing. PARA 2010. Lecture Notes in Computer Science, vol 7134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28145-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-28145-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28144-0
Online ISBN: 978-3-642-28145-7
eBook Packages: Computer ScienceComputer Science (R0)