162 search results - page 12 / 33 » Modelling the Live Migration Time of Virtual Machines |
MIDDLEWARE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Virtualization-based server consolidation is an important technique for cost and energy reductions in data center environments and a key enabler of cloud computing. Howev...
119
click to vote
VEE
2009
ACM
15 years 5 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
100
click to vote
FAST
2010
15 years 22 days ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
DATE
2006
IEEE
15 years 2 months ago
2006
IEEE
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
USENIX
2008
15 years 21 days ago
2008
: The paravirtualized I/O driver domain model, used in Xen, provides several advantages including device driver isolation in a safe execution environment, support for guest VM tran...