1229 search results - page 48 / 246 » Live updating operating systems using virtualization |
133
click to vote
TRIDENTCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
A scalable approach to building large scale experimentation testbeds involves multiplexing the system resources for better utilization. Virtualization provides a convenient means o...
213
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
A defining characteristic of continuous queries over on-line data streams, possibly bounded by sliding windows, is the potentially infinite and time-evolving nature of their input...
122
click to vote
NETWORKING
2008
15 years 5 months ago
2008
Multimedia and real-time services are spreading all over the Internet. The delivery quality of such contents is closely related to its network performance, for example in terms suc...
144
click to vote
JVM
2004
15 years 5 months ago
2004
A multiprocessor virtual machine benefits its guest operating system in supporting scalable job throughput and request latency--useful properties in server consolidation where ser...
135
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...