207
Voted
HPDC
15 years 7 months ago
1995 IEEE 
In this paper, we study the problem of scheduling parallel loops at compile-time for a heterogeneous network of machines. We consider heterogeneity in three aspects of parallel pr...
194
Voted
BANFF
15 years 7 months ago
1995 
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
180
click to vote
IPPS
15 years 7 months ago
1995 IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
174
Voted
ICPP
15 years 7 months ago
1995 IEEE
– In this paper we present experiments with a class of graph partitioning algorithms that reduce the size of the graph by collapsing vertices and edges, partition the smaller gra...
172
Voted
JSSPP
15 years 7 months ago
1995 Springer 
We describe a scheduler based on the microeconomic paradigm for scheduling on-line a set of parallel jobs in a multiprocessor system. In addition to increasing the system throughpu...
|
Distributed And Parallel Computing