174
Voted
HPDC
15 years 4 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...
173
click to vote
BANFF
15 years 4 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 ...
152
Voted
ICPP
15 years 3 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...
149
Voted
IPPS
15 years 3 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...
143
click to vote
PODC
15 years 3 months ago
1995 ACM 
Asynchronous Transfer Mode (ATM) network technology is expected to become a central part of the emerging global information infrastructure. ATM networks introduce a number of feat...
|
Distributed And Parallel Computing