5269 search results - page 444 / 1054 » Operating system resource management |
149
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
191
click to vote
APCSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Device drivers are a significant source of system instability. In this paper, we make the case for running device drivers at user-level to improve robustness and resource managemen...
177
click to vote
VEE
2005
ACM
16 years 10 days ago
2005
ACM
The Progressive Deployment System (PDS) is a virtual execution environment and infrastructure designed specifically for deploying software, or “assets”, on demand while enabli...
182
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
Sensing context information and making it available to the people, involved in coordinating a collaborative task, is a preliminary phase in making a system adaptable to the prevai...
173
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
VT-ASOS is a framework for holistic and continuous customization of system software on HPC systems. The framework leverages paravirtualization technology. VT-ASOS extends the Xen ...