1550 search results - page 95 / 310 » Erlang for Concurrent Programming |
202
Voted
ACMMSP
2006
ACM
15 years 7 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
112
click to vote
LOGCOM
2007
15 years 1 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
166
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
108
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
108
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...