共 50 条
- [31] Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 626 - 650
- [35] Accurate and Reliable Computing in Floating-Point Arithmetic MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 105 - 108
- [38] Computing integer powers in floating-point arithmetic CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, 2007, : 343 - +
- [39] DSP TACKLES FLOATING-POINT ARITHMETIC. Electronic Systems Technology and Design/Computer Design's, 1986, 25 (15): : 53 - 56
- [40] SIMULATING LOW PRECISION FLOATING-POINT ARITHMETIC SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2019, 41 (05): : C585 - C602