Sciweavers

ICPP
1995
IEEE
15 years 8 months ago
Data-Parallel Primitives for Spatial Operations
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
Erik G. Hoel, Hanan Samet
LICS
1997
IEEE
15 years 8 months ago
How Much Memory is Needed to Win Infinite Games?
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
Stefan Dziembowski, Marcin Jurdzinski, Igor Waluki...
ICPP
1995
IEEE
15 years 8 months ago
Generalized Algorithm for Parallel Sorting on Product Networks
If G is a connected graph with N nodes, its r dimensional product contains Nr nodes. We present an algorithm which sorts Nr keys stored in the rdimensional product of any graph G ...
Antonio Fernández, Nancy Eleser, Kemal Efe
LICS
1997
IEEE
15 years 8 months ago
Linear Higher-Order Pre-Unification
Iliano Cervesato, Frank Pfenning