共 50 条
- [1] 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
- [3] Hybrid model of fixed and floating point numbers in secure multiparty computations [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8783 : 179 - 197
- [4] Termination of Floating-Point Computations [J]. Journal of Automated Reasoning, 2005, 34 : 141 - 177
- [5] Termination of floating-point computations [J]. JOURNAL OF AUTOMATED REASONING, 2005, 34 (02) : 141 - 177
- [6] ROUNDINGS IN FLOATING-POINT ARITHMETIC [J]. IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (06) : 577 - 586
- [7] Hammering Floating-Point Arithmetic [J]. FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 217 - 235
- [9] OPTIMIZING SECURE FLOATING-POINT ARITHMETIC: SUMS, DOT PRODUCTS, AND POLYNOMIALS [J]. PROCEEDINGS OF THE ROMANIAN ACADEMY SERIES A-MATHEMATICS PHYSICS TECHNICAL SCIENCES INFORMATION SCIENCE, 2020, 21 (01): : 21 - 28
- [10] Efficient Secure Floating-point Arithmetic using Shamir Secret Sharing [J]. PROCEEDINGS OF THE 16TH INTERNATIONAL JOINT CONFERENCE ON E-BUSINESS AND TELECOMMUNICATIONS, VOL 2: SECRYPT, 2019, : 49 - 60