PARLE
1989
14 years 1 months ago
1989
PARLE
1989
14 years 1 months ago
1989
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...
ICS
1990
Tsinghua U.
14 years 1 months ago
1990
Tsinghua U.
ICS
1990
Tsinghua U.
14 years 1 months ago
1990
Tsinghua U.
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
All-to-all (ATA) reliable broadcast is the problem of reliably distributing information from every node to every other node in point-to-point interconnection networks. A good solut...
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
As multiprocessors are scaled beyond single bus systems, there is renewed interest in directory-based cache coherence schemes. These schemes rely on a directory to keep track of a...
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
ICPP
1990
IEEE
14 years 1 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...