1833 search results - page 165 / 367 » Mechanized Verification with Sharing |
248
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Checkpoint-recovery based virtual machine (VM) replication is an attractive technique for accommodating VM installations with high-availability. It provides seamless failover for ...
182
click to vote
SIGMETRICS
2009
ACM
16 years 29 days ago
2009
ACM
We consider the problem of admission control in resource sharing systems, such as web servers and transaction processing systems, when the job size distribution has high variabili...
162
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
156
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...
157
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents the design and implementation of XenSocket, a UNIX-domain-socket-like construct for high-throughput interdomain (VM-to-VM) communication on the same system. The...