1550 search results - page 72 / 310 » Erlang for Concurrent Programming |
123
click to vote
ICLP
2011
Springer
14 years 3 months ago
2011
Springer
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
101
click to vote
CADE
2008
Springer
16 years 4 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
110
click to vote
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
147
click to vote
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...