共 50 条
- [41] The pitfalls of verifying floating-point computations ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 30 (03):
- [42] Unum: Adaptive Floating-Point Arithmetic 19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 651 - 656
- [43] Fast Reproducible Floating-Point Summation 2013 21ST IEEE SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2013, : 163 - 172
- [45] A Flexible Floating-Point Wavelet Processor SITIS 2008: 4TH INTERNATIONAL CONFERENCE ON SIGNAL IMAGE TECHNOLOGY AND INTERNET BASED SYSTEMS, PROCEEDINGS, 2008, : 403 - 410
- [47] Sinking Point: Dynamic Precision Tracking for Floating-Point CONFERENCE FOR NEXT GENERATION ARITHMETIC 2019 (CONGA), 2019,