6897 search results - page 560 / 1380 » Parallelization of Modular Algorithms |
174
Voted
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
175
click to vote
PDCAT
2005
Springer
15 years 11 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...
211
Voted
TACAS
2010
Springer
16 years 1 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...
150
click to vote
HPCS
2005
IEEE
15 years 12 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...