4155 search results - page 293 / 831 » External Memory Algorithms |
184
click to vote
PLDI
2004
ACM
16 years 15 days ago
2004
ACM
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
182
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...
176
click to vote
WDAG
2000
Springer
15 years 10 months ago
2000
Springer
Work to date on algorithms for message-passing systems has explored a wide variety of types of faults, but corresponding work on shared memory systems has usually assumed that only...
175
click to vote
HIPC
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...
189
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We describe a new family of topic-ranking algorithms for multi-labeled documents. The motivation for the algorithms stems from recent advances in online learning algorithms. The a...