共 50 条
- [22] Voltage Margins Identification on Commercial x86-64 Multicore Microprocessors 2017 IEEE 23RD INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN (IOLTS), 2017, : 51 - 56
- [26] Hyperchaining for LLVM-Based Binary Translators on the x86-64 Platform JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2022, 94 (12): : 1569 - 1589
- [27] Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 66 - 81
- [28] Hyperchaining for LLVM-Based Binary Translators on the x86-64 Platform Journal of Signal Processing Systems, 2022, 94 : 1569 - 1589
- [29] Porting NetBSD to the AMD x86-64: a case study in OS portability USENIX ASSOCIATION PROCEEDINGS OF BSDCON 2002, 2002, : 1 - 9
- [30] Formally Verified Big Step Semantics out of x86-64 Binaries PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 181 - 195