共 50 条
- [1] A Case Study on Compiler Optimizations for the Intel® CoreTM 2 Duo Processor International Journal of Parallel Programming, 2008, 36 : 571 - 591
- [2] Case study:: Integrating FV and DV in the verification of the Intel® Core™2 duo microprocessor FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 192 - 195
- [3] Optimizations to prevent cache penalties for the Intel® Itanium® 2 processor CGO 2003: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, 2003, : 105 - 114
- [4] A case study on the importance of compiler and other optimizations for improving super-scalar processor performance APPLICATIONS OF HIGH-PERFORMANCE COMPUTING IN ENGINEERING VI, 2000, 6 : 281 - 289
- [6] Optimized compiler for Intel® Itanium® processor family and compiler enhancements from NEC NEC RESEARCH & DEVELOPMENT, 2003, 44 (01): : 80 - 84
- [7] Comparative Architectural Characterization of SPEC CPU2000 and CPU2006 Benchmarks on the Intel® Core™ 2 Duo Processor 2008 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION, PROCEEDINGS, 2008, : 132 - +
- [9] Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) 2023 IEEE/ACM 11TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE, 2023, : 66 - 75
- [10] On the power of bitslice implementation on intel core2 processor CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2007, PROCEEDINGS, 2007, 4727 : 121 - +