1833 search results - page 162 / 367 » Mechanized Verification with Sharing |
152
click to vote
HPCA
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper we explore software-managed address translation. The purpose of the study is to specify the memory management design for a high clock-rate PowerPC implementation in ...
184
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
We introduce a framework for supporting crowds of participants in collaborative virtual environments (CVEs). The framework is realised as an extension to our previous spatial mode...
166
click to vote
GECON
2007
Springer
15 years 10 months ago
2007
Springer
We study a peer-to-peer backup system, where users offer some of their storage space to provide service for the others. The economic model for such a system is different from the o...
177
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an educational distributed virtual reality-based environment for children called EVE - Environnement Virtuel pour Enfants. EVE is used in elementary schools fr...
144
click to vote
IM
2007
15 years 8 months ago
2007
A widely-distributed network monitoring system requires a scalable discovery mechanism. The “Lookup Service” component of the perfSONAR framework is able to manage component r...