共 50 条
- [21] An X86 microprocessor with multimedia extensions 1997 IEEE INTERNATIONAL SOLID-STATE CIRCUITS CONFERENCE - DIGEST OF TECHNICAL PAPERS, 1997, 40 : 172 - 173
- [23] FreeRTOS porting on x86 platform 2016 INTERNATIONAL COMPUTER SYMPOSIUM (ICS), 2016, : 120 - 123
- [26] Verifying x86 Instruction Implementations CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 47 - 60
- [27] Expediting Design Bug Discovery in Regressions of x86 processors Using Machine Learning 2019 20TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR/SOC TEST, SECURITY AND VERIFICATION (MTV 2019), 2019, : 1 - 6
- [29] Analyzing memory accesses in x86 executables COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 5 - 23
- [30] Programming Model for a Heterogeneous x86 Platform PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 431 - 440