9572 search results - page 379 / 1915 » Cover Algorithms and Their Combination |
187
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
177
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
171
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
We study the convergence behavior of the Active Mask (AM) framework, originally designed for segmenting punctate image patterns. AM combines the flexibility of traditional active...
155
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
As an example of the recently introduced concept of rate of innovation, signals that are linear combinations of a finite number of Diracs per unit time can be acquired by linear fi...
181
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit ...