共 50 条
- [41] Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers Journal of Automated Reasoning, 2021, 65 : 1071 - 1096
- [42] 32-bit logarithmic arithmetic unit and its performance compared to floating-point Proc Symp Comput Arith, (142-151):
- [45] Accurate Parallel Floating-Point Accumulation 2013 21ST IEEE SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2013, : 153 - 162
- [49] Computing integer powers in floating-point arithmetic CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, 2007, : 343 - +
- [50] DSP TACKLES FLOATING-POINT ARITHMETIC. Electronic Systems Technology and Design/Computer Design's, 1986, 25 (15): : 53 - 56