6897 search results - page 544 / 1380 » Parallelization of Modular Algorithms |
157
click to vote
SIAMSC
2010
15 years 3 months ago
2010
Abstract. Popular approaches for solving the shallow water equations (SWE) for climate modeling are explicit and semi-implicit methods, both have certain constraints on the time st...
159
click to vote
SPAA
2012
ACM
13 years 7 months ago
2012
ACM
We present a highly-scalable non-blocking producer-consumer task pool, designed with a special emphasis on lightweight synchronization and data locality. The core building block o...
133
click to vote
NAACL
2004
15 years 6 months ago
2004
We propose a theory that gives formal semantics to word-level alignments defined over parallel corpora. We use our theory to introduce a linear algorithm that can be used to deriv...
161
click to vote
SCP
2000
15 years 4 months ago
2000
An extension of the -calculus called BS is introduced as a formal basis for functional languages expressing bulk synchronous parallel algorithms. A con uence result is shown. The ...
119
click to vote
MVA
2007
15 years 4 months ago
2007
Inversion of the perspective mapping in acquired images enables an autonomous vehicle to perform vision-based navigation tasks, such as obstacle detection. We present work on affi...