477 search results - page 66 / 96 » Concurrent Pattern Calculus |
119
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
304
click to vote
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
137
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse...
134
click to vote
PAM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Interference among co-channel users is a fundamental problem in wireless networks, which prevents nearby links from operating concurrently. Directional antennas allow the...
141
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...