365 search results - page 16 / 73 » Liveness in Timed and Untimed Systems |
VEE
2009
ACM
2009
ACM
Post-copy based live virtual machine migration using adaptive pre-paging and dynamic self-ballooning
14 years 2 months ago
We present the design, implementation, and evaluation of post-copy based live migration for virtual machines (VMs) across a Gigabit LAN. Live migration is an indispensable feature...
PAMI
2010
13 years 4 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
NSDI
2010
13 years 11 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
MOBILITY
2009
ACM
14 years 2 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...