Sciweavers

PARLE
1987
15 years 10 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
ICS
1987
Tsinghua U.
15 years 10 months ago
Advanced Loop Optimizations for Parallel Computers
Constantine D. Polychronopoulos
95
Voted
ICS
1987
Tsinghua U.
15 years 10 months ago
Future Scientific Programming on Parallel Machines
Arvind, Kattamuri Ekanadham
ICPP
1987
IEEE
15 years 10 months ago
A Software-Based Hardware Fault Tolerance Scheme for Multicomputers
-- A hardware fault tolerance scheme for large multicomputers executing time-consuming non-interactive applications is described. Error detection and recovery are done mostly by so...
Yuval Tamir, Eli Gafni
172
Voted
ICPP
1987
IEEE
15 years 10 months ago
Parallel Algorithm for Maximum Weight Matching in Trees
We present an efficient coarse grained parallel algorithm for computing a maximum weight matching in trees. A divide and conquer approach based on centroid decomposition of trees ...
Shaunak Pawagi
ICPP
1987
IEEE
15 years 10 months ago
Performance of VLSI Engines for Lattice Computations
Abstract. We address the problem of designing and building efficient custom Vl.Sl-besed processors to do computations on large multi-dimensional lattices. The design tradeoffs for ...
Steven D. Kugelmass, Kenneth Steiglitz, Richard K....
125
Voted
ICPP
1987
IEEE
15 years 10 months ago
The Vectorizing Compiler for the Unisys ISP
Howard B. Coleman
ICPP
1987
IEEE
15 years 10 months ago
DURRA : A Task-Level Description Language
Mario Barbacci, Jeannette M. Wing