571 search results - page 63 / 115 » A principled approach to operating system construction in Ha... |
88
Voted
POS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
103
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— The paper presents a robot cell for multimodal standing-up motion augmentation. The robot cell is aimed at augmenting the standing-up capabilities of impaired or paraplegic sub...
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
RTCSA
1995
IEEE
15 years 4 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...