1204 search results - page 33 / 241 » Parallel concurrent ML |
103
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
103
click to vote
FIDJI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
122
Voted
FOSSACS
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
111
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
104
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Efficient communication and synchronization is crucial for finegrained parallelism. Libraries providing such features, while indispensable, are difficult to write, and often ca...