1492 search results - page 205 / 299 » Concurrent programming in VISO |
96
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
94
Voted
RTSS
2005
IEEE
15 years 6 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...
126
click to vote
IPPS
1999
IEEE
15 years 5 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...
ESOP
2007
Springer
15 years 4 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...
114
click to vote
ATAL
2006
Springer
15 years 4 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...