共 50 条
- [41] Load redundancy elimination on executable code CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (10): : 979 - 997
- [42] Partial redundancy elimination with predication techniques EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 242 - 250
- [44] ELIMINATION OF SPECKLE NOISE IN HOLOGRAMS WITH REDUNDANCY APPLIED OPTICS, 1968, 7 (11): : 2301 - &
- [47] Fuzzy functional dependencies and redundancy elimination JOURNAL OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1998, 49 (03): : 217 - 235
- [48] Generalizing redundancy elimination in checking sequences COMPUTER AND INFORMATION SCIENCES - ISCIS 2005, PROCEEDINGS, 2005, 3733 : 915 - 926
- [49] Proof Optimization for Partial Redundancy Elimination PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION, 2008, : 91 - +
- [50] Quantifier Elimination via Clause Redundancy 2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 85 - 92