110 search results - page 4 / 22 » Data-Parallel R-Tree Algorithms |
VLDB
1994
ACM
14 years 18 days ago
1994
ACM
The performance of data-parallel algorithms for spatial operations using data-parallel variants of the bucket PMR quadtree, R-tree, and R+-tree spatial data structures is compared...
AMAST
2006
Springer
14 years 9 days ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
EUROSIM
1994
13 years 10 months ago
1994
: The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer ...
LCPC
1994
Springer
14 years 19 days ago
1994
Springer
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Georeference is a basic function of remote sensing data processing. Geo-corrected remote sensing data is an important source data for Geographic Information Systems (GIS) and other...