REX
1991
13 years 11 months ago
1991
Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
REX
1991
13 years 11 months ago
1991
PPOPP
1991
ACM
13 years 11 months ago
1991
ACM
Idle workstations in a network represent a significant computing potential. In particular, their processing power can be used by parallel-distributed programs that treat the netwo...
PPOPP
1991
ACM
13 years 11 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...
PODC
1991
ACM
13 years 11 months ago
1991
ACM
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
PODC
1991
ACM
13 years 11 months ago
1991
ACM
Abstract. Self-stabilizing message driven protocols are defined and discussed. The class weakexclusion that contains many natural tasks such as -exclusion and token-passing is de...
PODC
1991
ACM
13 years 11 months ago
1991
ACM
PDIS
1991
IEEE
13 years 11 months ago
1991
IEEE
PDIS
1991
IEEE
13 years 11 months ago
1991
IEEE
PDIS
1991
IEEE
13 years 11 months ago
1991
IEEE
Improvements in the processing speed of multiprocessors are outpacing improvements in the speed of disk hardware. Parallel disk I/O subsystems have been proposed as one way to clo...