1550 search results - page 207 / 310 » Erlang for Concurrent Programming |
142
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
177
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
135
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
176
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...
160
click to vote
WOTUG
2008
15 years 7 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...