1683 search results - page 71 / 337 » Testing system virtual machines |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
OSDI
2008
ACM
14 years 11 months ago
2008
ACM
The recent emergence of network interface cards (NICs) with diverse hardware features for I/O virtualization poses an important challenge for virtual machine environments, particu...
TREC
2001
14 years 4 days ago
2001
This paper describes new machine learning approaches to predict the correct homepage in response to a user's homepage finding query. This involves two phases. In the first ph...
CDC
2009
IEEE
13 years 12 months ago
2009
IEEE
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
CCGRID
2001
IEEE
14 years 2 months ago
2001
IEEE
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...