2635 search results - page 250 / 527 » Computing multihomogeneous resultants using straight-line pr... |
109
click to vote
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
ENTCS
2008
15 years 21 days ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
109
click to vote
ADBIS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
92
Voted
SCALESPACE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Multiresolution techniques are often used to shorten the execution times of dynamic programming based deformable contour optimization methods by decreasing the image reso...
111
Voted
SC
2000
ACM
15 years 5 months ago
2000
ACM
This paper describes extensions to OpenMP that implement data placement features needed for NUMA architectures. OpenMP is a collection of compiler directives and library routines ...