Author:
Lam Michael O.,Hollingsworth Jeffrey K.,Stewart G.W.
Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference18 articles.
1. Accuracy and Stability of Numerical Algorithms;Higham,2002
2. Rounding Errors in Algebraic Processes;Wilkinson,1964
3. On local roundoff errors in floating-point arithmetic;Kaneko;J. ACM,1973
4. Bounds for floating-point roundoff noise;Laakso;IEEE Trans. circuits syst.,1994
5. A priori worst case error bounds for floating-point computations;Kraemer;IEEE Trans. Comput.,1998
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
2. Fast And Automatic Floating Point Error Analysis With CHEF-FP;2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS);2023-05
3. Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY;International Journal on Software Tools for Technology Transfer;2023-03-08
4. Toward Increasing Trust in Exascale Simulations;2022 4th Annual Workshop on Extreme-scale Experiment-in-the-Loop Computing (XLOOP);2022-11
5. FPVM;Proceedings of the 31st International Symposium on High-Performance Parallel and Distributed Computing;2022-06-27