共 50 条
- [44] An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 516 - 537
- [45] Round-off Error Analysis of Explicit One-Step Numerical Integration Methods 2017 IEEE 24TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2017, : 82 - 89
- [49] A posteriori error analysis of round-off errors in the numerical solution of ordinary differential equations Numerical Algorithms, 2017, 76 : 191 - 210