162 search results - page 31 / 33 » Using Virtualization to Improve Software Rejuvenation |
ENTCS
2006
13 years 10 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...
ICAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Grid computing supports workload execution on computing resources that are shared across a set of collaborative organizations. At the core of workload management for Grid computin...
ISCA
1997
IEEE
14 years 2 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...
AAAI
2006
13 years 11 months ago
2006
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
IADIS
2004
13 years 11 months ago
2004
To reduce the production cost of 3D-CG educational contents for e-Learning system and to improve the capability of self-learning system, we developed a new self-learning system ba...