{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:06:27Z","timestamp":1725660387818},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281440"},{"type":"electronic","value":"9783642281457"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28145-7_17","type":"book-chapter","created":{"date-parts":[[2012,2,15]],"date-time":"2012-02-15T19:58:14Z","timestamp":1329335894000},"page":"168-178","source":"Crossref","is-referenced-by-count":6,"title":["Using C-XSC for High Performance Verified Computing"],"prefix":"10.1007","author":[{"given":"Walter","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Zimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Hofschuster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-01591-5_4","volume-title":"Numerical Validation in Current Hardware Architectures","author":"F. Blomquist","year":"2009","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol.\u00a05492, pp. 41\u201367. Springer, Heidelberg (2009)"},{"key":"17_CR2","unstructured":"GCC online documentation, http:\/\/gcc.gnu.org\/onlinedocs"},{"key":"17_CR3","volume-title":"Numerical Toolbox for Verified Computing I: Basic Numerical Problems","author":"R. Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I: Basic Numerical Problems. Springer, Heidelberg (1993)"},{"key":"#cr-split#-17_CR4.1","unstructured":"ANSI\/IEEE Std. 754-1985, A Standard for Binary Floating-Point Arithmetic. New York, 1985"},{"key":"#cr-split#-17_CR4.2","doi-asserted-by":"crossref","unstructured":"reprinted in SIGPLAN 22(2), 9-25 (1987)","DOI":"10.1145\/24900.24902"},{"key":"17_CR5","unstructured":"Forthcoming IEEE-1788 interval standard"},{"key":"17_CR6","unstructured":"Intel C++ Compiler User and Reference Guides. Available on the Intel Compiler Homepage, http:\/\/software.intel.com\/en-us\/intel-compilers"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W. Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0 \u2013 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.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"17_CR8","volume-title":"C-XSC - A C++ Class Library for Extended Scientific Computing","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Wiethoff, A., Lawo, C., Rauch, M.: C-XSC - A C++ Class Library for Extended Scientific Computing. Springer, Heidelberg (1993)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-01591-5_15","volume-title":"Numerical Validation in Current Hardware Architectures","author":"W. Kr\u00e4mer","year":"2009","unstructured":"Kr\u00e4mer, W., Zimmer, M.: Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS. In: Cuyt, A., Kr\u00e4mer, W., Luther, W., Markstein, P. (eds.) Numerical Validation. LNCS, vol.\u00a05492, pp. 230\u2013249. Springer, Heidelberg (2009)"},{"key":"17_CR10","unstructured":"Kr\u00e4mer, W., Zimmer, M., Hofschuster, W.: Using C-XSC for High Performance Verified Computing. Preprint BUW-WRSWT 2009\/5, University of Wuppertal (2009)"},{"issue":"1","key":"17_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/1028001","volume":"28","author":"U. Kulisch","year":"1986","unstructured":"Kulisch, U., Miranker, W.: The arithmetic of the digital computer: A new approach. SIAM Rev.\u00a028(1), 1\u201340 (1986)","journal-title":"SIAM Rev."},{"key":"17_CR12","unstructured":"Kulisch, U.: Die f\u00fcnfte Gleitkommaoperation f\u00fcr Top-Performance Computer. Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und numerische Algorithmen mit Ergebnisverifikation, Univ. Karlsruhe (1997)"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Kulisch, U.: Computer Arithmetic and Validity: Theory, Implementation, and Applications, de Gruyter Studies in Mathematics (2008)","DOI":"10.1515\/9783110203196"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM Journal on Scientific Computing\u00a026, 6 (2005)","journal-title":"SIAM Journal on Scientific Computing"},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"123","DOI":"10.55630\/sjc.2010.4.123-132","volume":"4","author":"E. Popova","year":"2010","unstructured":"Popova, E., Kolev, L., Kr\u00e4mer, W.: A Solver For Complex-Valued Parametric Linear Systems. Serdica Journal of Computing\u00a04(1), 123\u2013132 (2010)","journal-title":"Serdica Journal of Computing"},{"key":"17_CR16","unstructured":"Zimmer, M., Kr\u00e4mer, W., Hofschuster, W.: Sparse Matrices and Vectors in C-XSC, BUW-WRSWT 2009\/7, Preprint 2009\/7, Universit\u00e4t Wuppertal (2009)"},{"key":"17_CR17","unstructured":"Zimmer, M.: Laufzeiteffiziente, parallele L\u00f6ser f\u00fcr lineare Intervallgleichungssysteme in C-XSC. Master Thesis, University of Wuppertal (2007)"},{"issue":"3","key":"17_CR18","doi-asserted-by":"crossref","first-page":"349","DOI":"10.55630\/sjc.2010.4.349-370","volume":"4","author":"M. Zimmer","year":"2010","unstructured":"Zimmer, M., Kr\u00e4mer, W., Bohlender, G., Hofschuster, W.: Extension of the C-XSC Library with Scalar Products with Selectable Accuracy. Serdica Journal of Computation\u00a04(3), 349\u2013370 (2010)","journal-title":"Serdica Journal of Computation"},{"key":"17_CR19","unstructured":"C-XSC Website, http:\/\/www.math.uni-wuppertal.de\/wrswt\/xsc\/cxsc_new.html"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel and Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28145-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,14]],"date-time":"2023-06-14T18:53:03Z","timestamp":1686768783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28145-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281440","9783642281457"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28145-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}