共 50 条
- [23] Verifying x86 Instruction Implementations CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 47 - 60
- [25] The evolution of an x86 virtual machine monitor Operating Systems Review (ACM), 2010, 44 (04): : 3 - 18
- [26] Analyzing memory accesses in x86 executables COMPILER CONSTRUCTION, PROCEEDINGS, 2004, 2985 : 5 - 23
- [27] 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