{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:50:24Z","timestamp":1742986224647,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030726539"},{"type":"electronic","value":"9783030726546"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-72654-6_29","type":"book-chapter","created":{"date-parts":[[2021,3,28]],"date-time":"2021-03-28T07:02:28Z","timestamp":1616914948000},"page":"298-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Numerical Validation of Half Precision Simulations"],"prefix":"10.1007","author":[{"given":"Fabienne","family":"J\u00e9z\u00e9quel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara sadat","family":"Hoseininasab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thibault","family":"Hilaire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,3,29]]},"reference":[{"issue":"2","key":"29_CR1","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1137\/17M1140819","volume":"40","author":"E Carson","year":"2018","unstructured":"Carson, E., Higham, N.J.: Accelerating the solution of linear systems by iterative refinement in three precisions. SIAM J. Sci. Comput. 40(2), 817\u2013847 (2018)","journal-title":"SIAM J. Sci. Comput."},{"key":"29_CR2","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":"4","key":"29_CR3","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s11786-011-0103-4","volume":"5","author":"S Graillat","year":"2011","unstructured":"Graillat, S., J\u00e9z\u00e9quel, F., Wang, S., Zhu, Y.: Stochastic arithmetic in multiprecision. Math. Comput. Sci. 5(4), 359\u2013375 (2011)","journal-title":"Math. Comput. Sci."},{"key":"29_CR4","doi-asserted-by":"publisher","first-page":"101017","DOI":"10.1016\/j.jocs.2019.07.004","volume":"36","author":"S Graillat","year":"2019","unstructured":"Graillat, S., J\u00e9z\u00e9quel, F., Picot, R., F\u00e9votte, F., Lathuili\u00e8re, B.: Auto-tuning for floating-point precision with discrete stochastic arithmetic. J. Comput. Sci. 36, 101017 (2019)","journal-title":"J. Comput. Sci."},{"key":"29_CR5","unstructured":"Haidar, A., et al.: The design of fast and energy-efficient linear solvers: on the potential of half-precision arithmetic and iterative refinement techniques, vol. 10860, pp. 586\u2013600. Springer, Wuxi, China (2018). http:\/\/www.netlib.org\/utk\/people\/JackDongarra\/papers.htm#2018. https:\/\/link.springer.com\/chapter\/10.1007%2F978-3-319-93698-7_45"},{"key":"29_CR6","unstructured":"IEEE Computer Society: IEEE Standard for Floating-Point Arithmetic. IEEE Standard 754-2008, August 2008"},{"issue":"6","key":"29_CR7","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1109\/TCST.2003.815552","volume":"11","author":"D Lefebvre","year":"2003","unstructured":"Lefebvre, D., Chevrel, P., Richard, S.: An $$H_\\infty $$ based control design methodology dedicated to the active control of longitudinal oscillations. IEEE Trans. Control Syst. Technol. 11(6), 948\u2013956 (2003)","journal-title":"IEEE Trans. Control Syst. Technol."},{"issue":"1","key":"29_CR8","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/TCAD.2018.2883902","volume":"39","author":"G Tagliavini","year":"2020","unstructured":"Tagliavini, G., Marongiu, A., Benini, L.: Flexfloat: a software library for transprecision computing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1), 145\u2013156 (2020)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"1\u20134","key":"29_CR9","doi-asserted-by":"publisher","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":"29_CR10","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":["Advances in Intelligent Systems and Computing","Trends and Applications in Information Systems and Technologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-72654-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T17:03:34Z","timestamp":1659114214000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-72654-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030726539","9783030726546"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-72654-6_29","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"29 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WorldCIST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"World Conference on Information Systems and Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Terceira Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 April 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"worldcist2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/worldcist.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}