共 50 条
- [1] Generating Random Floating-Point Numbers by Dividing Integers: A Case Study COMPUTATIONAL SCIENCE - ICCS 2020, PT II, 2020, 12138 : 15 - 28
- [2] Arithmetic Coding for Floating-Point Numbers 2021 IEEE CONFERENCE ON DEPENDABLE AND SECURE COMPUTING (DSC), 2021,
- [4] A combined interval and floating-point divider CONFERENCE RECORD OF THE THIRTY-SECOND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 1998, : 218 - 222
- [5] A combined interval and floating-point comparator CONFERENCE RECORD OF THE THIRTY-SEVENTH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 2003, : 2242 - 2246
- [6] Floating-point unit processing denormalized numbers 2005 6th International Conference on ASIC Proceedings, Books 1 and 2, 2005, : 90 - 93
- [8] Optimization Modulo the Theory of Floating-Point Numbers AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 550 - 567
- [10] An Interval Compiler for Sound Floating-Point Computations CGO '21: PROCEEDINGS OF THE 2021 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2021, : 52 - 64