682 search results - page 100 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
103
click to vote
DCOSS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
124
click to vote
PVM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
115
click to vote
APPT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
124
click to vote
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
119
click to vote
CONCUR
2005
Springer
15 years 7 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...