457 search results - page 41 / 92 » Construction of a Highly Dependable Operating System |
HPDC
1999
IEEE
14 years 24 days 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
13 years 8 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
14 years 12 days 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
14 years 3 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
14 years 2 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...