1550 search results - page 125 / 310 » Erlang for Concurrent Programming |
104
Voted
ASPLOS
2012
ACM
13 years 9 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 ...
122
click to vote
POPL
2012
ACM
13 years 9 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...
106
click to vote
LATIN
2010
Springer
15 years 8 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 ...
142
Voted
CONCURRENCY
1998
15 years 1 months ago
1998
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
101
Voted
PPOPP
2010
ACM
15 years 11 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 ...