691 search results - page 33 / 139 » Path Consistency by Dual Consistency |
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
BROADNETS
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper develops a connection establishment framework for protecting connections against single-link failures using link protection at the granularity of a connection, referred...
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
LCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—Hyperbolic position bounding (HPB) provides a mechanism to probabilistically delimit the location of a wireless network malicious insider to a candidate area. A large scale path...