1491 search results - page 147 / 299 » Resource-Passing Concurrent Programming |
CP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
89
Voted
EUROPAR
2009
Springer
15 years 7 months ago
2009
Springer
The transition to multicore architectures has dramatically underscored the necessity for parallelism in software. In particular, while new gaming consoles are by and large multicor...
197
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
91
Voted
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ï...
110
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...