共 50 条
- [31] Hardware transactional memory with Operating System support, HTMOS EURO-PAR 2007 WORKSHOPS: PARALLEL PROCESSING, 2008, 4854 : 8 - 17
- [32] GENERIC VIRTUAL MEMORY MANAGEMENT FOR OPERATING SYSTEM KERNELS OPERATING SYSTEMS REVIEW, VOL 23, NO 5, SPECIAL ISSUE: PROCEEDINGS OF THE TWELFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 1989, : 123 - 136
- [34] A Precise Memory Model for Operating System Code Verification TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1125 - 1132
- [35] Memory Forensics and the Macintosh OS X Operating System DIGITAL FORENSICS AND CYBER CRIME, ICDF2C 2017, 2018, 216 : 175 - 180
- [36] A Raspberry Pi Operating System for Exploring Advanced Memory System Concepts PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON MEMORY SYSTEMS (MEMSYS 2018), 2018, : 354 - 364
- [37] Improving virus protection with an efficient secure architecture with memory encryption, integrity and information leakage protection JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2008, 4 (02): : 101 - 113
- [39] Improving memory system performance for multimedia applications Multimedia Tools and Applications, 2017, 76 : 5951 - 5963
- [40] Analyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach 26TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2010), 2010, : 271 - 280