共 50 条
- [41] Tight Error Analysis in Fixed-Point Arithmetic INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 318 - 336
- [42] 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
- [43] 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
- [44] Learned Image Compression with Fixed-point Arithmetic 2021 PICTURE CODING SYMPOSIUM (PCS), 2021, : 106 - 110
- [46] Modeling SystemC fixed-point arithmetic in HOL FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 206 - 225
- [48] SMALL ROUNDOFF NOISE REALIZATION OF FIXED-POINT DIGITAL-FILTERS AND CONTROLLERS IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1988, 36 (06): : 880 - 891
- [49] Fixed-Point Theorems in Complete Gauge Spaces and Applications to Second-Order Nonlinear Initial-Value Problems JOURNAL OF FUNCTION SPACES AND APPLICATIONS, 2013,
- [50] CANONIC REALIZATIONS OF SECOND-ORDER DIGITAL FILTERS DUE TO FINITE PRECISION ARITHMETIC IEEE TRANSACTIONS ON CIRCUIT THEORY, 1972, CT19 (04): : 410 - &