Improving an operating system with memory protection

被引:0
|
作者
Limao, C.J.
Paixao, A.A.
Cunha, A.R.
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [31] Hardware transactional memory with Operating System support, HTMOS
    Tomic, Sasa
    Cristal, Adrian
    Unsal, Osman
    Valero, Mateo
    EURO-PAR 2007 WORKSHOPS: PARALLEL PROCESSING, 2008, 4854 : 8 - 17
  • [32] GENERIC VIRTUAL MEMORY MANAGEMENT FOR OPERATING SYSTEM KERNELS
    ABROSSIMOV, V
    ROZIER, M
    SHAPIRO, M
    OPERATING SYSTEMS REVIEW, VOL 23, NO 5, SPECIAL ISSUE: PROCEEDINGS OF THE TWELFTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, 1989, : 123 - 136
  • [33] VIRTUAL MEMORY MANAGEMENT IN THE VAX VMS OPERATING SYSTEM
    LEVY, HM
    LIPMAN, PH
    COMPUTER, 1982, 15 (03) : 35 - 41
  • [34] A Precise Memory Model for Operating System Code Verification
    Chen, Geng
    Luo, Lei
    Wang, Lijie
    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
    Leopard, Charles B.
    Rowe, Neil C.
    McCarrin, Michael R.
    DIGITAL FORENSICS AND CYBER CRIME, ICDF2C 2017, 2018, 216 : 175 - 180
  • [36] A Raspberry Pi Operating System for Exploring Advanced Memory System Concepts
    Francis-Mezger, Pascal
    Weaver, Vincent M.
    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
    Duc, Guillaume
    Keryell, Ronan
    JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2008, 4 (02): : 101 - 113
  • [38] Improving memory system performance for multimedia applications
    Youn, Jonghee M.
    Cho, Doosan
    MULTIMEDIA TOOLS AND APPLICATIONS, 2017, 76 (04) : 5951 - 5963
  • [39] Improving memory system performance for multimedia applications
    Jonghee M. Youn
    Doosan Cho
    Multimedia Tools and Applications, 2017, 76 : 5951 - 5963
  • [40] Analyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach
    Liakh, Siarhei
    Grace, Michael
    Jiang, Xuxian
    26TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2010), 2010, : 271 - 280