546 search results - page 61 / 110 » An operational happens-before memory model |
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Growing interest in genomic research has resulted in the creation of huge biological sequence databases. In this paper, we present a hash-based pier model for efficient homology s...
SC
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes performance tuning experiences with a three-dimensional unstructured grid Euler flow code from NASA, which we have reimplemented in the PETSc framework and p...
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
ECCV
2002
Springer
15 years 11 months ago
2002
Springer
This paper deals with the three-dimensional reconstruction of an underwater environment from multiple acoustic range views acquired by a remotely operated vehicle. The problem is m...
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
14 years 9 months ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...