共 50 条
- [21] Tight Error Analysis in Fixed-Point Arithmetic INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 318 - 336
- [22] 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
- [25] 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
- [27] Modeling SystemC fixed-point arithmetic in HOL FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 206 - 225
- [30] An Efficient Fixed-point Arithmetic Processor Using A Hybrid CORDIC Algorithm 2018 23RD ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2018, : 327 - 328