Login / Signup

Simulation and verification of the virtual memory management system with MSVL.

Meng WangZhenhua DuanCong Tian
Published in: CSCWD (2014)
Keyphrases
  • management system
  • virtual memory
  • buffer management
  • main memory
  • operating system
  • database
  • virtual machine
  • information systems
  • data structure
  • database management systems
  • databases