26 search results - page 5 / 6 » Combining batch execution and leasing using virtual machines |
ENTCS
2006
13 years 5 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
JVM
2004
13 years 6 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
ICAC
2006
IEEE
13 years 11 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...
USENIX
2008
13 years 7 months ago
2008
Code sandboxing is useful for many purposes, but most sandboxing techniques require kernel modifications, do not completely isolate guest code, or incur substantial performance co...
CASES
2007
ACM
13 years 9 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...