1492 search results - page 120 / 299 » Concurrent programming in VISO |
197
Voted
POPL
2005
ACM
16 years 23 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 ...
109
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...
96
Voted
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
92
Voted
PPOPP
2010
ACM
15 years 9 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...