Login / Signup

gMig: Efficient vGPU Live Migration with Overlapped Software-Based Dirty Page Verification.

Qiumin LuXiao ZhengJiacheng MaYaozu DongZhengwei QiJianguo YaoBingsheng HeHaibing Guan
Published in: IEEE Trans. Parallel Distributed Syst. (2020)
Keyphrases
  • website
  • software development
  • databases
  • user interface
  • source code
  • model checking
  • computationally expensive
  • real time
  • object oriented
  • operating system
  • software maintenance
  • formal methods