共 50 条
- [41] Enhancing compiler techniques for memory energy optimizations EMBEDDED SOFTWARE, PROCEEDINGS, 2002, 2491 : 364 - 381
- [42] Microarchitecture sensitive empirical models for compiler optimizations CGO 2007: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2007, : 131 - +
- [43] Automated Programmable Control and Parameterization of Compiler Optimizations 2011 9TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2011, : 97 - 106
- [46] The IPS Compiler: Optimizations, Variants and Concrete Efficiency ADVANCES IN CRYPTOLOGY - CRYPTO 2011, 2011, 6841 : 259 - 276
- [47] Program partitioning optimizations in an HPF prototype compiler TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 124 - 131
- [48] Finding Missed Compiler Optimizations by Differential Testing CC'18: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON COMPILER CONSTRUCTION, 2018, : 82 - 92
- [49] A PVS based framework for validating compiler optimizations SEFM 2006: FOURTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2006, : 108 - +