1550 search results - page 68 / 310 » Erlang for Concurrent Programming |
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
JFP
2000
14 years 11 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
122
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
136
click to vote
AIME
2011
Springer
13 years 12 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
117
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...