4903 search results - page 576 / 981 » The Set Covering Machine |
211
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
Many data center virtualization solutions, such as VMware ESX, employ content-based page sharing to consolidate the resources of multiple servers. Page sharing identifies virtual...
154
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Performance projections of High Performance Computing (HPC) applications onto various hardware platforms are important for hardware vendors and HPC users. The projections aid hard...
198
click to vote
TRIDENTCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
208
click to vote
VEE
2005
ACM
16 years 11 days ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
180
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...