1389 search results - page 141 / 278 » Parallel Algorithms for Treewidth Two |
POPL
2009
ACM
15 years 4 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...
SPAA
2003
ACM
15 years 3 months ago
2003
ACM
The current literature offers two extremes of nonblocking software synchronization support for concurrent data structure design: intricate designs of specific structures based o...
LATIN
2010
Springer
15 years 4 months ago
2010
Springer
Topological self-stabilization is an important concept to build robust open distributed systems (such as peer-to-peer systems) where nodes can organize themselves into meaningful n...
PPOPP
1993
ACM
15 years 2 months ago
1993
ACM
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...
102
click to vote
SPIN
2010
Springer
14 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...