Author:
Zhang Zuoyan,Xu Jinchen,Hao Jiangwei,Qu Yang,He Haotian,Zhou Bei
Funder
Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Information Systems,Theoretical Computer Science,Software
Reference32 articles.
1. Kevin Q (1983) Ever had problems rounding off figures. This stock exchange has. The Wall Street J 1983:37
2. Jacques-Louis L, Lennart L, Jean-Luc F et al (1996) Ariane 5 flight 501 failure report by the inquiry board. European space agency Paris
3. Robert S (1992) Roundoff error and the Patriot missile. SIAM News 25(4):11
4. Xia Y, Guo S, Hao J, Liu D, Xu J (2020) Error detection of arithmetic expressions. J Supercomput 77:5492–5509. https://doi.org/10.1007/s11227-020-03469-7
5. Daming Z, MuHan Z, Yingfei X, Zhoulai F, Lu Z, Zhendong S (2019) Detecting floating-point errors via atomic conditions. In: Proceeding of the 47th ACM on Programming Languages (POPL 2020). Association for Computing Machinery, New York, NY, USA, vol 4, pp 1–27. https://doi.org/10.1145/3371128
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献