Sciweavers

4604 search results - page 60 / 921
» Concurrency in Synchronous Systems
Sort
View
110
Voted
CEEMAS
2003
Springer
15 years 8 months ago
Regional Synchronization for Simultaneous Actions in Situated Multi-agent Systems
Agents of a multi-agent system (MAS) must synchronize whenever they want to perform simultaneous actions. In situated MASs, typically, the control over such synchronization is cent...
Danny Weyns, Tom Holvoet
130
Voted
OTM
2009
Springer
15 years 10 months ago
TMBean: Optimistic Concurrency in Application Servers Using Transactional Memory
Abstract. In this experience report, we present an evaluation of different techniques to manage concurrency in the context of application servers. Traditionally, using entity beans...
Lucas Charles, Pascal Felber, Christophe Gêt...
ASPLOS
2012
ACM
13 years 11 months ago
Applying transactional memory to concurrency bugs
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
Haris Volos, Andres Jaan Tack, Michael M. Swift, S...
116
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
Extending Ravenscar with CSP Channels
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
Diyaa-Addein Atiya, Steve King
147
Voted
FSTTCS
2000
Springer
15 years 7 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...