共 50 条
- [31] A Combined Decimal and Binary Floating-point Multiplier [J]. 2009 20TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, 2009, : 8 - +
- [34] A Compiler for Sound Floating-Point Computations using Affine Arithmetic [J]. CGO '22: PROCEEDINGS OF THE 2022 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2022, : 66 - 78
- [35] Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations [J]. COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 626 - 650
- [36] Static analysis-based validation of floating-point computations [J]. NUMERICAL SOFTWARE WITH RESULT VERIFICATION, 2004, 2991 : 306 - 313
- [37] Asserting the precision of floating-point computations: A simple abstract interpreter [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2002, 2305 : 209 - 212
- [40] AT AND T ENTERS MARKET WITH FLOATING-POINT DSP CHIP [J]. COMPUTER DESIGN, 1986, 25 (10): : 28 - 28