{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:11:32Z","timestamp":1775873492048,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319635002","type":"print"},{"value":"9783319635019","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63501-9_5","type":"book-chapter","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T09:23:01Z","timestamp":1499764981000},"page":"61-80","source":"Crossref","is-referenced-by-count":10,"title":["Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2402-0535","authenticated-orcid":false,"given":"Fran\u00e7ois","family":"F\u00e9votte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lathuili\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,12]]},"reference":[{"key":"5_CR1","unstructured":"Code_Aster: Structures and thermomechanics analysis for studies and research. \nhttp:\/\/www.code-aster.org\/"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Benz, F., Hildebrandt, A., Hack, S.: A dynamic program analysis to find floating-point accuracy problems. In: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 453\u2013462. ACM, New York, June 2012","DOI":"10.1145\/2254064.2254118"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Denis, C., de Oliveira Castro, P., Petit, E.: Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. In: 23rd IEEE International Symposium on Computer Arithmetic (ARITH 2016) (2016)","DOI":"10.1109\/ARITH.2016.31"},{"issue":"2","key":"5_CR4","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1109\/TC.2010.128","volume":"60","author":"F Dinechin de","year":"2011","unstructured":"de Dinechin, F., Lauter, C., Melquiond, G.: Certifying the floating-point implementation of an elementary function using Gappa. IEEE Trans. Comput. 60(2), 242\u2013253 (2011)","journal-title":"IEEE Trans. Comput."},{"key":"5_CR5","unstructured":"F\u00e9votte, F., Lathuili\u00e8re, B.: VERROU: Assessing Floating-Point Accuracy Without Recompiling, October 2016. \nhttps:\/\/hal.archives-ouvertes.fr\/hal-01383417"},{"key":"5_CR6","unstructured":"F\u00e9votte, F., Lathuili\u00e8re, B.: VERROU: a CESTAC evaluation without recompilation. In: International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN), Uppsala, Sweden, September 2016"},{"key":"5_CR7","unstructured":"Graillat, S., J\u00e9z\u00e9quel, F., Picot, R.: Numerical Validation of Compensated Algorithms with Stochastic Arithmetic, September 2016. \nhttps:\/\/hal.archives-ouvertes.fr\/hal-01367769"},{"key":"5_CR8","unstructured":"IEEE Standard for Floating-Point Arithmetic. IEEE Std 754\u20132008, pp. 1\u201370 (2008)"},{"issue":"11","key":"5_CR9","doi-asserted-by":"crossref","first-page":"1927","DOI":"10.1016\/j.cpc.2010.07.012","volume":"181","author":"F J\u00e9z\u00e9quel","year":"2010","unstructured":"J\u00e9z\u00e9quel, F., Chesneaux, J.M., Lamotte, J.L.: A new version of the CADNA library for estimating round-off error propagation in Fortran programs. Comput. Phys. Commun. 181(11), 1927\u20131928 (2010)","journal-title":"Comput. Phys. Commun."},{"issue":"3","key":"5_CR10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1016\/j.parco.2012.08.002","volume":"39","author":"MO Lam","year":"2013","unstructured":"Lam, M.O., Hollingsworth, J.K., Stewart, G.: Dynamic floating-point cancellation detection. Parallel Comput. 39(3), 146\u2013155 (2013)","journal-title":"Parallel Comput."},{"issue":"11","key":"5_CR11","doi-asserted-by":"crossref","first-page":"1925","DOI":"10.1016\/j.cpc.2010.07.006","volume":"181","author":"JL Lamotte","year":"2010","unstructured":"Lamotte, J.L., Chesneaux, J.M., J\u00e9z\u00e9quel, F.: CADNA_C: a version of CADNA for use with C or C++ programs. Comput. Phys. Commun. 181(11), 1925\u20131926 (2010)","journal-title":"Comput. Phys. Commun."},{"key":"5_CR12","unstructured":"Montan, S.: Sur la validation num\u00e9rique des codes de calcul industriels. Ph.D. thesis, Universit\u00e9 Pierre et Marie Curie (Paris 6), France (2013). (in French)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI) (2007)","DOI":"10.1145\/1250734.1250746"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1002\/zamm.19740540106","volume":"54","author":"A Neumaier","year":"1974","unstructured":"Neumaier, A.: Rundungsfehleranalyse einiger verfahren zur summation endlicher summen. ZAMM (Zeitschrift f\u00fcr Angewandte Mathematik und Mechanik) 54, 39\u201351 (1974)","journal-title":"ZAMM (Zeitschrift f\u00fcr Angewandte Mathematik und Mechanik)"},{"key":"5_CR15","doi-asserted-by":"crossref","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, 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Panchekha, P., Sanchez-Stern, A., Wilcox, J.R., Tatlock, Z.: Automatically improving accuracy for floating point expressions. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015), Portland, Oregon, USA, June 2015","DOI":"10.1145\/2737924.2737959"},{"key":"5_CR17","unstructured":"Sanchez-Stern, A., Panchekha, P., Lerner, S., Tatlock, Z.: Finding root causes of floating point error with herbgrind, \narXiv:1705.10416v1\n\n [cs.PL]"},{"key":"5_CR18","unstructured":"Sanders, D.P., Benet, L., Kryukov, N.: The julia package ValidatedNumerics.jl and its application to the rigorous characterization of open billiard models. In: International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN), Uppsala, Sweden, September 2016"},{"key":"5_CR19","volume-title":"Floating Point Computation","author":"PH Sterbenz","year":"1974","unstructured":"Sterbenz, P.H.: Floating Point Computation. Prentice-Hall, Englewood Cliffs (1974)"},{"key":"5_CR20","unstructured":"Stott Parker, D.: Monte Carlo arithmetic: exploiting randomness in floating-point arithmetic. Technical report CSD-970002, University of California, Los Angeles (1997)"},{"key":"5_CR21","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, 233\u2013261 (1993)","journal-title":"Math. Comput. Simul."},{"key":"5_CR22","volume-title":"Why Programs Fail","author":"A Zeller","year":"2009","unstructured":"Zeller, A.: Why Programs Fail, 2nd edn. Morgan Kaufmann, Boston (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Numerical Software Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63501-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T09:24:22Z","timestamp":1499765062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63501-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319635002","9783319635019"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63501-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}