共 50 条
- [41] General compiler framework for speculative optimizations using data speculative code motion CGO 2005: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2005, : 280 - 290
- [42] Design space exploration with automatic selection of SW and HW for embedded applications COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2004, 3133 : 303 - 312
- [44] Energy Consumption Reduction by Automatic Selection of Compiler Options ISSCS 2009: INTERNATIONAL SYMPOSIUM ON SIGNALS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS,, 2009, : 317 - 320
- [45] Compiler optimizations to reduce security overhead CGO 2006: 4TH INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2006, : 346 - +
- [47] Weakest Precondition Synthesis for Compiler Optimizations VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 203 - 221
- [49] Compiler optimizations for processors with SIMD instructions SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (01): : 93 - 113
- [50] Tuning compiler optimizations for simultaneous multithreading THIRTIETH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, PROCEEDINGS, 1997, : 114 - 124