1683 search results - page 70 / 337 » Testing system virtual machines |
ISCA
2010
IEEE
13 years 9 months ago
2010
IEEE
Virtualization has the potential to dramatically reduce the total cost of ownership of datacenters and increase the flexibility of deployments for general-purpose workloads. If pr...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
ENTCS
2002
13 years 10 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
REPLICATION
2010
13 years 9 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...
ICCV
2001
IEEE
15 years 21 days ago
2001
IEEE
We present a component-based method and two global methods for face recognition and evaluate them with respect to robustness against pose changes. In the component system we first...