6437 search results - page 503 / 1288 » Parallel Algorithms for Arrangements |
128
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
We describe Miranda, a massively parallel spectral/compact solver for variabledensity incompressible flow, including viscosity and species diffusivity effects. Miranda utilizes...
151
click to vote
PDCAT
2005
Springer
15 years 10 months ago
2005
Springer
View-Oriented Parallel Programming is based on Distributed Shared Memory which is friendly and easy for programmers to use. It requires the programmer to divide shared data into v...
186
click to vote
TACAS
2010
Springer
16 years 2 days ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
135
click to vote
HPCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. In this paper, two new, determin...
143
click to vote
PVM
2004
Springer
15 years 10 months ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...