1229 search results - page 97 / 246 » Live updating operating systems using virtualization |
121
click to vote
IM
2007
15 years 5 months ago
2007
—Server virtualization opens up a range of new possibilities for autonomic datacenter management, through the availability of new automation mechanisms that can be exploited to c...
115
Voted
SIGOPS
2008
15 years 4 months ago
2008
Virtual private servers and application checkpoint and restart are two advanced operating system features which place different but related requirements on the way kernel-provided...
140
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...
129
click to vote
NAACL
2003
15 years 5 months ago
2003
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...
120
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...