共 50 条
- [22] Sound C Code Decompilation for a Subset of x86-64 Binaries SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, 2020, 12310 : 247 - 264
- [23] 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
- [25] Free simulator lets developers start on x86-64 development ELECTRONIC PRODUCTS MAGAZINE, 2000, 43 (06): : 29 - 29
- [26] PTLsim:: A cycle accurate full system x86-64 microarchitectural simulator ISPASS 2007: IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE, 2007, : 23 - +
- [28] Below C Level: A Student-Centered x86-64 Simulator PROCEEDINGS OF THE 2019 ACM CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION (ITICSE '19), 2019, : 381 - 387
- [29] Formally Verified Lifting of C-Compiled x86-64 Binaries PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 934 - 949