共 50 条
- [31] Error analysis of digital filters using HOL theorem proving J. Appl. Logic, 2007, 4 SPEC. ISS. (651-666):
- [32] Error Detection in Ternary CAMs Using Bloom Filters DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 1474 - 1479
- [34] Check bit prediction scheme using Dong's code for concurrent error detection in VLSI processors IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (06): : 467 - 471
- [35] A linearization free recursive prediction error method for combined state and parameter estimation for nonlinear systems 2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 899 - 904
- [37] Concurrent error detection in FSMs using transition checking technique Telsiks 2005, Proceedings, Vols 1 and 2, 2005, : 61 - 64
- [40] ADAPTIVE NONLINEAR DIGITAL-FILTERS USING DISTRIBUTED ARITHMETIC IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1986, 34 (03): : 518 - 526