Sciweavers

3 search results - page 1 / 1
» Correct Parallel Status Assignment for the Reason Maintenanc...
Sort
View
IJCAI
1989
13 years 5 months ago
Correct Parallel Status Assignment for the Reason Maintenance System
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...
Rosanne M. Fulcomer, William E. Ball
IPPS
2006
IEEE
13 years 10 months ago
D1HT: a distributed one hop hash table
Distributed Hash Tables (DHTs) have been used in a variety of applications, but most DHTs so far have opted to solve lookups with multiple hops, which sacrifices performance in o...
Luiz Rodolpho Monnerat, Cláudio L. Amorim
SPAA
1998
ACM
13 years 9 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...