6584 search results - page 850 / 1317 » Distributed Shared Contexts |
149
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new arrangement of directory bits called the segment directory to improve directory storage efficiency: a segment directory can point to several sharing processors wi...
208
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
169
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Historically, most radar sensor array processing has been implemented using dedicated and specialized processing systems. This approach was necessary because the algorithm computa...
190
click to vote
ISADS
1999
IEEE
15 years 11 months ago
1999
IEEE
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...
155
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
Safe language technology can be used for protection within a single address space. This protection is enforced by the language’s type system, which ensures that references to obj...