83
Voted
SPDP
1991
IEEE
15 years 3 months ago
1991
IEEE
A dynamic taskschedulingalgorithm,that isstable,decentralized,and adaptivetonetwork topology,ispresented. Theproposedalgorithmisanextensionofnearestneighbor loadbalancingstrategyw...
81
Voted
SPDP
1991
IEEE
15 years 3 months ago
1991
IEEE
In this paper, we present a randomized algorithm for the multipacket (i.e., k − k) routing problem on an n × n mesh. The algorithm completes with high probability in at the mos...
SPDP
1991
IEEE
15 years 3 months ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
107
Voted
SPAA
1991
ACM
15 years 3 months ago
1991
ACM
SPAA
1991
ACM
15 years 3 months ago
1991
ACM
59
Voted
SPAA
1991
ACM
15 years 3 months ago
1991
ACM
REX
1991
15 years 3 months ago
1991
92
Voted
REX
1991
15 years 3 months ago
1991
112
click to vote
REX
1991
15 years 3 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
124
Voted
REX
1991
15 years 3 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...