共 50 条
- [31] Static analyses of the precision of floating-point operations STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 234 - 259
- [35] Two ways for generating additional bits in floating-point operations using BS Xiaoxing Weixing Jisuanji Xitong, 3 (28-33):
- [37] Accurate and Reliable Computing in Floating-Point Arithmetic MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 105 - 108
- [38] Accurate Complex Multiplication in Floating-Point Arithmetic 2019 IEEE 26TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2019, : 23 - 29