REX
1991
14 years 1 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
14 years 1 months ago
1991
PPOPP
1991
ACM
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 months ago
1991
ACM
PDIS
1991
IEEE
14 years 1 months ago
1991
IEEE
PDIS
1991
IEEE
14 years 1 months ago
1991
IEEE
PDIS
1991
IEEE
14 years 1 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...