{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:44:16Z","timestamp":1743014656333,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319317687"},{"type":"electronic","value":"9783319317694"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/2.5\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31769-4_8","type":"book-chapter","created":{"date-parts":[[2016,4,9]],"date-time":"2016-04-09T01:05:44Z","timestamp":1460163944000},"page":"99-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Efficiency of Reproducible Level 1 BLAS"],"prefix":"10.1007","author":[{"given":"Chemseddine","family":"Chohra","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Langlois","sequence":"additional","affiliation":[]},{"given":"David","family":"Parello","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"8_CR1","unstructured":"IEEE 754\u20132008, Standard for Floating-Point Arithmetic. Institute of Electrical and Electronics Engineers, New York (2008)"},{"issue":"7","key":"8_CR2","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1109\/TC.1977.1674894","volume":"C-26","author":"Bohlender","year":"1977","unstructured":"Bohlender, G.: Floating-point computation of functions with maximum accuracy. IEEE Trans. Comput. C-26(7), 621\u2013632 (1977)","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Chohra, C., Langlois, P., Parello, D.: Implementation and Efficiency of Reproducible Level 1 BLAS (2015). http:\/\/hal-lirmm.ccsd.cnrs.fr\/lirmm-01179986","DOI":"10.1007\/978-3-319-31769-4_8"},{"key":"8_CR4","unstructured":"Collange, C., Defour, D., Graillat, S., Iakimchuk, R.: Reproducible and accurate matrix multiplication in ExBLAS for high-performance computing. In: SCAN 2014, W\u00fcrzburg, Germany (2014)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"TJ Dekker","year":"1971","unstructured":"Dekker, T.J.: A floating-point technique for extending the available precision. Numer. Math. 18, 224\u2013242 (1971)","journal-title":"Numer. Math."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Demmel, J.W., Nguyen, H.D.: Fast reproducible floating-point summation. In: Proceedings of 21th IEEE Symposium on Computer Arithmetic. Austin, Texas, USA (2013)","DOI":"10.1109\/ARITH.2013.9"},{"key":"8_CR7","unstructured":"Intel Math Kernel Library. http:\/\/www.intel.com\/software\/products\/mkl\/"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1051\/proc\/201445023","volume":"45","author":"F J\u00e9z\u00e9quel","year":"2013","unstructured":"J\u00e9z\u00e9quel, F., Langlois, P., Revol, N.: First steps towards more numerical reproducibility. ESAIM: Proc. 45, 229\u2013238 (2013)","journal-title":"ESAIM: Proc."},{"key":"8_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6","volume-title":"Handbook of Floating-Point Arithmetic","author":"JM Muller","year":"2010","unstructured":"Muller, J.M., Brisebarre, N., de Dinechin, F., Jeannerod, C.P., Lef\u00e8vre, V., Melquiond, G., Revol, N., Stehl\u00e9, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkh\u00e4user, Boston (2010)"},{"issue":"6","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1955","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 J. Sci. Comput. 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"8_CR11","volume-title":"Intel Threading Building Blocks","author":"J Reinders","year":"2007","unstructured":"Reinders, J.: Intel Threading Building Blocks, 1st edn. O\u2019Reilly & Associates Inc., Sebastopol (2007)","edition":"1"},{"key":"8_CR12","unstructured":"http:\/\/webdali.univ-perp.fr\/ReproducibleSoftware"},{"issue":"5","key":"8_CR13","doi-asserted-by":"publisher","first-page":"3466","DOI":"10.1137\/080738490","volume":"31","author":"SM Rump","year":"2009","unstructured":"Rump, S.M.: Ultimately fast accurate summation. SIAM J. Sci. Comput. 31(5), 3466\u20133502 (2009)","journal-title":"SIAM J. Sci. Comput."},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1137\/050645671","volume":"31","author":"SM Rump","year":"2008","unstructured":"Rump, S.M., Ogita, T., Oishi, S.: Accurate floating-point summation - part I: faithful rounding. SIAM J. Sci. Comput. 31(1), 189\u2013224 (2008)","journal-title":"SIAM J. Sci. Comput."},{"key":"8_CR15","unstructured":"Story, S.: Numerical reproducibility in the Intel Math Kernel Library. Salt Lake City, November 2012"},{"issue":"3","key":"8_CR16","doi-asserted-by":"crossref","first-page":"14:1","DOI":"10.1145\/2764454","volume":"41","author":"FG Van Zee","year":"2015","unstructured":"Van Zee, F.G., van de Geijn, R.A.: BLIS: a framework for rapidly instantiating BLAS functionality. ACM Trans. Math. Software 41(3), 14:1\u201314:33 (2015)","journal-title":"ACM Trans. Math. Software"},{"issue":"68","key":"8_CR17","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.parco.2008.02.002","volume":"34","author":"N Yamanaka","year":"2008","unstructured":"Yamanaka, N., Ogita, T., Rump, S., Oishi, S.: A parallel algorithm for accurate dot product. Parallel Comput. 34(68), 392\u2013410 (2008)","journal-title":"Parallel Comput."},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"2981","DOI":"10.1137\/070710020","volume":"31","author":"YK Zhu","year":"2009","unstructured":"Zhu, Y.K., Hayes, W.B.: Correct rounding and hybrid approach to exact floating-point summation. SIAM J. Sci. Comput. 31(4), 2981\u20133001 (2009)","journal-title":"SIAM J. Sci. Comput."},{"issue":"3","key":"8_CR19","doi-asserted-by":"publisher","first-page":"37:1","DOI":"10.1145\/1824801.1824815","volume":"37","author":"YK Zhu","year":"2010","unstructured":"Zhu, Y.K., Hayes, W.B.: Algorithm 908: online exact summation of floating-point streams. ACM Trans. Math. Softw. 37(3), 37:1\u201337:13 (2010)","journal-title":"ACM Trans. Math. Softw."}],"container-title":["Lecture Notes in Computer Science","Scientific Computing, Computer Arithmetic, and Validated Numerics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31769-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T19:07:11Z","timestamp":1738091231000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-31769-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319317687","9783319317694"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31769-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}