10213 search results - page 323 / 2043 » An Experimental Analysis of Parallel |
174
click to vote
ADCM
2011
14 years 11 months ago
2011
After a discussion on definability of invariant subdivision rules we discuss rules for sequential data living in Riemannian manifolds and in symmetric spaces, having in mind the s...
155
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
169
click to vote
TACAS
2010
Springer
15 years 11 months 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...
127
click to vote
HPCS
2005
IEEE
15 years 9 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...
160
click to vote
ICPADS
1998
IEEE
15 years 8 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...