1605 search results - page 25 / 321 » Designing Parallel Operating Systems via Parallel Programmin... |
174
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
159
Voted
ENTCS
2007
15 years 5 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
176
click to vote
ICCS
2009
Springer
16 years 4 days ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
160
click to vote
ENTCS
2002
15 years 5 months ago
2002
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
166
click to vote
POPL
2010
ACM
16 years 13 days ago
2010
ACM
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...