共 50 条
- [31] Verification of Fixed-Point Datapaths with Comparator Units Using Constrained Arithmetic Transform (CAT) 2012 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS 2012), 2012, : 592 - 595
- [32] An interval polynomial theory approach to fixed-point bifurcation analysis in biological models 2014 11TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION (WCICA), 2014, : 558 - 563
- [33] FIXED-POINTS OF POLYNOMIAL MAPS .2. FIXED-POINT PORTRAITS ANNALES SCIENTIFIQUES DE L ECOLE NORMALE SUPERIEURE, 1993, 26 (01): : 51 - 98
- [35] FIXED-POINT ACCURACY EVALUATION IN THE CONTEXT OF CONDITIONAL STRUCTURES 19TH EUROPEAN SIGNAL PROCESSING CONFERENCE (EUSIPCO-2011), 2011, : 1934 - 1938
- [40] Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 179 - 188