{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:39:34Z","timestamp":1740123574681,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T00:00:00Z","timestamp":1535155200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"National Key R&D Program High Performance Computing Key Projects","award":["2016YFB0200503"],"award-info":[{"award-number":["2016YFB0200503"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1007\/s11227-018-2552-x","type":"journal-article","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T07:06:12Z","timestamp":1535180772000},"page":"6275-6290","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Detection of the maximum error of mathematical functions"],"prefix":"10.1007","volume":"74","author":[{"given":"Hongyuan","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6275-2617","authenticated-orcid":false,"given":"Jinchen","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaozhong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,25]]},"reference":[{"issue":"6","key":"2552_CR1","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/2345156.2254118","volume":"47","author":"F Benz","year":"2012","unstructured":"Benz F (2012) A dynamic program analysis to find floating-point accuracy problems. ACM SIGPLAN Not 47(6):453\u2013462","journal-title":"ACM SIGPLAN Not"},{"key":"2552_CR2","volume-title":"Software engineering","author":"KK Aggarwal","year":"2001","unstructured":"Aggarwal KK, Singh Y (2001) Software engineering. New International Publishers, New York"},{"key":"2552_CR3","doi-asserted-by":"crossref","unstructured":"Brunie N, Dinechi FD, Kupriianova O, Lauter C (2015) Code generators for mathematical functions. In: IEEE Symposium on Computer Arithmetic, pp 66\u201373","DOI":"10.1109\/ARITH.2015.22"},{"key":"2552_CR4","doi-asserted-by":"crossref","unstructured":"Lee W, Sharma R, Aiken A (2016) Verify bit-manipulations of floating-point. In: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, NY, USA, pp 70\u201384","DOI":"10.1145\/2908080.2908107"},{"issue":"1","key":"2552_CR5","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1145\/3093333.3009846","volume":"52","author":"W-F Chiang","year":"2017","unstructured":"Chiang W-F et al (2017) Rigorous floating-point mixed-precision tuning. ACM SIGPLAN Not 52(1):300\u2013315","journal-title":"ACM SIGPLAN Not"},{"issue":"10","key":"2552_CR6","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1109\/TSE.2016.2642956","volume":"43","author":"E Tang","year":"2017","unstructured":"Tang E, Zhang X, Meller NT, Chen Z, Li X (2017) Software numerical instability detection and diagnosis by combining stochastic and infinite-precision testing. IEEE Trans Softw Eng 43(10):975\u2013994","journal-title":"IEEE Trans Softw Eng"},{"key":"2552_CR7","doi-asserted-by":"crossref","unstructured":"Yi X et al (2017) Efficient global search for inputs triggering high floating-point inaccuracies. In: Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. IEEE, pp 11\u201320","DOI":"10.1109\/APSEC.2017.7"},{"key":"2552_CR8","first-page":"516","volume-title":"Lecture Notes in Computer Science","author":"Laura Titolo","year":"2017","unstructured":"Titolo L et al (2018) An abstract interpretation framework for the round-off error analysis of floating-point programs. In: International Conference on Verification, Model Checking, and Abstract Interpretation. Springer, Cham, pp 516\u2013537"},{"key":"2552_CR9","first-page":"529","volume":"1","author":"D Zou","year":"2015","unstructured":"Zou D et al (2015) A genetic algorithm for detecting significant floating-point inaccuracies. IEEE\/ACM IEEE Int Conf Softw 1:529\u2013539","journal-title":"IEEE\/ACM IEEE Int Conf Softw"},{"key":"2552_CR10","doi-asserted-by":"crossref","unstructured":"Liew D, Schemmel D, Cadar C, Donaldson AF, Zahl R, Wehrle K (2017) Floating-point symbolic execution: a case study in N-version programming. In: 2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp 601\u2013612","DOI":"10.1109\/ASE.2017.8115670"},{"key":"2552_CR11","doi-asserted-by":"crossref","unstructured":"Yi X, Chen L, Mao X, Ji T (2017) Efficient global search for inputs triggering high floating-point inaccuracies. In: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), pp 11\u201320","DOI":"10.1109\/APSEC.2017.7"},{"key":"2552_CR12","doi-asserted-by":"crossref","unstructured":"Wu X, Li L, Zhang J (2017) Symbolic execution with value-range analysis for floating-point exception detection. In: 2017 24th Asia-Pacific Software Engineering Conference (APSEC), pp 1\u201310","DOI":"10.1109\/APSEC.2017.6"},{"key":"2552_CR13","unstructured":"Kahan WV (1996) The improbability of probabilistic error analyses for numerical computations. http:\/\/www.cs.berkeley.edu\/ . Accessed 01 May 2018"},{"key":"2552_CR14","unstructured":"Cornea M (2014) FSIN documentation improvements in the Intel 64 and IA-32 architectures software developers manual. https:\/\/software.intel.com\/blogs\/2014\/10\/09\/fsin-documentation-improvements-in-the-intel-64-and-ia-32-architectures-software . Accessed 01 May 2018"},{"issue":"6","key":"2552_CR15","first-page":"1306","volume":"26","author":"JC Xu","year":"2015","unstructured":"Xu JC (2015) Testing platform for floating mathematical function libraries. J Softw 26(6):1306\u20131321","journal-title":"J Softw"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-018-2552-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2552-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2552-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,30]],"date-time":"2022-08-30T07:52:56Z","timestamp":1661845976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-018-2552-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,25]]},"references-count":15,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2018,11]]}},"alternative-id":["2552"],"URL":"https:\/\/doi.org\/10.1007\/s11227-018-2552-x","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2018,8,25]]},"assertion":[{"value":"25 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}