{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:10:21Z","timestamp":1725865821795},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319455495"},{"type":"electronic","value":"9783319455501"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45550-1_1","type":"book-chapter","created":{"date-parts":[[2016,9,20]],"date-time":"2016-09-20T10:49:52Z","timestamp":1474368592000},"page":"3-16","source":"Crossref","is-referenced-by-count":2,"title":["Estimation of Round-off Errors in OpenMP Codes"],"prefix":"10.1007","author":[{"given":"Pac\u00f4me","family":"Eberhart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Brajard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Fortin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabienne","family":"J\u00e9z\u00e9quel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,21]]},"reference":[{"key":"1_CR1","volume-title":"Introduction to Interval Analysis","author":"G Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. Academic Press, New York (1983)"},{"key":"1_CR2","unstructured":"OpenMP Architecture Review Board: OpenMP Application Program Interface, Version 4.0, July 2013"},{"key":"1_CR3","unstructured":"Brajard, J., Li, P., J\u00e9z\u00e9quel, F., Benavid\u00e8s, H.-S., Thiria, S.: Numerical validation of data assimilation codes generated by the YAO software. In: SIAM Annual Meeting, San Diego, California, USA (2013)"},{"key":"1_CR4","first-page":"35","volume":"21","author":"P Eberhart","year":"2015","unstructured":"Eberhart, P., Brajard, J., Fortin, P., J\u00e9z\u00e9quel, F.: High performance numerical validation using stochastic arithmetic. Reliable Comput. 21, 35\u201352 (2015)","journal-title":"Reliable Comput."},{"issue":"3","key":"1_CR5","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/s40314-013-0048-0","volume":"32","author":"CA H\u00f6lbig","year":"2013","unstructured":"H\u00f6lbig, C.A., Do Carmo, A., Arendt, L.P.: High accuracy and interval arithmetic on multicore processors. Comput. Appl. Math. 32(3), 425\u2013434 (2013)","journal-title":"Comput. Appl. Math."},{"key":"1_CR6","unstructured":"IEEE and The Open Group: The Open Group Base Specifications, 7th edn. (2013). http:\/\/pubs.opengroup.org\/onlinepubs\/9699919799"},{"key":"1_CR7","unstructured":"Intel: User and Reference Guide for the Intel C++ Compiler 15.0 (2015). https:\/\/software.intel.com\/en-us\/compiler_15.0_ug_c"},{"issue":"12","key":"1_CR8","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1016\/j.cpc.2008.02.003","volume":"178","author":"F J\u00e9z\u00e9quel","year":"2008","unstructured":"J\u00e9z\u00e9quel, F., Chesneaux, J.-M.: CADNA: a library for estimating round-off error propagation. Comput. Phys. Commun. 178(12), 933\u2013955 (2008)","journal-title":"Comput. Phys. Commun."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J\u00e9z\u00e9quel, F., Lamotte, J.-L., Said, I.: Estimation of numerical reproducibility on CPU and GPU. In: Proceedings of the 2015 Federated Conference on Computer Science and Information Systems. Annals of Computer Science and Information Systems, vol. 5, pp. 675\u2013680. IEEE (2015)","DOI":"10.15439\/2015F29"},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-0525-2","volume-title":"Advanced Arithmetic for the Digital Computer","author":"UW Kulisch","year":"2002","unstructured":"Kulisch, U.W.: Advanced Arithmetic for the Digital Computer. Springer, Wien (2002)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/978-3-642-19328-6_39","volume-title":"High Performance Computing for Computational Science \u2013 VECPAR 2010","author":"CR Milani","year":"2011","unstructured":"Milani, C.R., Kolberg, M., Fernandes, L.G.: Solving dense interval linear systems with verified computing on multicore architectures. In: Palma, J.M.L.M., Dayd\u00e9, M., Marques, O., Lopes, J.C. (eds.) VECPAR 2010. LNCS, vol. 6449, pp. 435\u2013448. Springer, Heidelberg (2011)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Montan, S., Denis, C.: Numerical verification of industrial numerical codes. In: Proceedings of ESAIM, vol. 35, pp. 107\u2013113, March 2012","DOI":"10.1051\/proc\/201235006"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Nardi, L., Badran, F., Fortin, P., Thiria, S.: YAO: a generator of parallel code for variational data assimilation applications. In: International Conference on High Performance Computing and Communication, pp. 224\u2013232. IEEE (2012)","DOI":"10.1109\/HPCC.2012.38"},{"issue":"1","key":"1_CR14","first-page":"91","volume":"19","author":"N Revol","year":"2013","unstructured":"Revol, N., Th\u00e9veny, P.: Parallel implementation of interval matrix multiplication. Reliable Comput. 19(1), 91\u2013106 (2013)","journal-title":"Reliable Comput."},{"key":"1_CR15","first-page":"997","volume":"303","author":"J Vignes","year":"1986","unstructured":"Vignes, J.: Z\u00e9ro math\u00e9matique et z\u00e9ro informatique. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences - Series I - Mathematics 303, 997\u20131000 (1986)","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences - Series I - Mathematics"},{"issue":"3","key":"1_CR16","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0378-4754(93)90003-D","volume":"35","author":"J Vignes","year":"1993","unstructured":"Vignes, J.: A stochastic arithmetic for reliable scientific computation. Math. Comput. Simul. 35(3), 233\u2013261 (1993)","journal-title":"Math. Comput. Simul."},{"issue":"1\u20134","key":"1_CR17","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1023\/B:NUMA.0000049483.75679.ce","volume":"37","author":"J Vignes","year":"2004","unstructured":"Vignes, J.: Discrete stochastic arithmetic for validating results of numerical software. Numer. Algorithms 37(1\u20134), 377\u2013390 (2004)","journal-title":"Numer. Algorithms"},{"key":"1_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8354-1","volume-title":"Numerical Methods for Shallow-Water Flow","author":"CB Vreugdenhil","year":"1994","unstructured":"Vreugdenhil, C.B.: Numerical Methods for Shallow-Water Flow. Springer, The Netherlands (1994)"},{"key":"1_CR19","unstructured":"Zimmer, Z.: Using C-XSC in a multi-threaded environment. Technical report BUGHW\u2013WRSWT 2011\/2, Universit\u00e4t Wuppertal, Germany (2011)"}],"container-title":["Lecture Notes in Computer Science","OpenMP: Memory, Devices, and Tasks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45550-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T23:13:57Z","timestamp":1498346037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45550-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319455495","9783319455501"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45550-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}