5269 search results - page 9 / 1054 » Operating system resource management |
142
click to vote
JCP
2006
15 years 3 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
162
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
132
Voted
AIMS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a framework for managing resources via convergent operators. Operators represent their need for a resource to a designated resource closure operator that manag...
128
click to vote
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling provides efficient, responsive control over the relative execution rat...
128
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...