共 50 条
- [21] Tight Error Analysis in Fixed-Point Arithmetic INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 318 - 336
- [22] Modeling systemC fixed-point arithmetic in HOL Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2885 : 206 - 225
- [23] A decoder for LVCSR based on fixed-point arithmetic 2006 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-13, 2006, : 1113 - 1116
- [24] Learned Image Compression with Fixed-point Arithmetic 2021 PICTURE CODING SYMPOSIUM (PCS), 2021, : 106 - 110
- [26] Modeling SystemC fixed-point arithmetic in HOL FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 206 - 225
- [28] High-accuracy optical computing based on interval arithmetic and the fixed-point theorem APPLIED OPTICS, 1996, 35 (08): : 1367 - 1371
- [29] Fixed-Point Centrality for Networks 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 1628 - 1635
- [30] Fixed-point Factorized Networks 30TH IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR 2017), 2017, : 3966 - 3974