共 50 条
- [41] Efficient Floating-Point Givens Rotation Unit Circuits, Systems, and Signal Processing, 2021, 40 : 2419 - 2442
- [42] Handling floating-point exceptions in numeric programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (02): : 139 - 174
- [43] Hotspot Symbolic Execution of Floating-Point Programs FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1112 - 1114
- [44] Return of the hardware floating-point elementary function 18TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2007, : 161 - +
- [45] Efficient Implementation of Floating-Point Reciprocator on FPGA 22ND INTERNATIONAL CONFERENCE ON VLSI DESIGN HELD JOINTLY WITH 8TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, PROCEEDINGS, 2009, : 267 - 271
- [46] A Combined Decimal and Binary Floating-point Multiplier 2009 20TH IEEE INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS, 2009, : 8 - +
- [47] Optimal inverse projection of floating-point addition Numerical Algorithms, 2020, 83 : 957 - 986
- [48] goSAT: Floating-point Satisfiability as Global Optimization PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 11 - 14
- [49] Deciding Floating-Point Logic with Systematic Abstraction PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 131 - 140
- [50] Evaluation of a Floating-Point Intensive Kernel on FPGA EURO-PAR 2017: PARALLEL PROCESSING WORKSHOPS, 2018, 10659 : 664 - 675