共 50 条
- [32] Decimal floating-point adder and multifunction unit with injection-based rounding 18TH IEEE SYMPOSIUM ON COMPUTER ARITHMETIC, PROCEEDINGS, 2007, : 56 - +
- [33] Adaptive fault tolerant digital filters with single and multiple bit errors in floating-point arithmetic ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL III: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 630 - 633
- [34] A NOTE ON REALIZATION OF DIGITAL-FILTERS USING INPUT-SCALED FLOATING-POINT ARITHMETIC IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1986, 34 (04): : 995 - 995
- [35] Roundoff noise analysis of state-space digital filters implemented on floating-point digital signal processors IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-ANALOG AND DIGITAL SIGNAL PROCESSING, 1997, 44 (11): : 952 - 955
- [36] MPFR: A multiple-precision binary floating-point library with correct rounding ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2007, 33 (02):
- [39] Model Checking Linear Dynamical Systems under Floating-point Rounding. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 47 - 65