291 search results - page 30 / 59 » A Parallel BSP Algorithm for Irregular Dynamic Programming |
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
IFIP
1994
Springer
14 years 26 days ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
PPOPP
2012
ACM
12 years 4 months ago
2012
ACM
Existing concurrency platforms for dynamic multithreading do not provide repeatable parallel random-number generators. This paper proposes that a mechanism called pedigrees be bui...
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...