457 search results - page 41 / 92 » Construction of a Highly Dependable Operating System |
HPDC
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we present the design and implementation of Dodo, an e cient user-level system for harvesting idle memory in o -the-shelf clusters of workstations. Dodo enables dat...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
Recent research has found that operators frequently misconfigure Internet services, causing various availability and performance problems. In this paper, we propose a software inf...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
3DIM
2007
IEEE
15 years 4 months ago
2007
IEEE
In order to construct three dimensional shape models of large scale architectures by a laser range finder, a number of range images are normally taken from various viewpoints and...