Sciweavers

6808 search results - page 274 / 1362
» Distributed Concurrency Control
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Supervision and diagnosis of joint actions in multi-agent plans
The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of...
Roberto Micalizio, Pietro Torasso
IPPS
2006
IEEE
16 years 20 days ago
Decentralized and dynamic bandwidth allocation in networked control systems
In this paper, we propose a bandwidth allocation scheme for networked control systems that have their control loops closed over a geographically distributed network. We first for...
Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenz...
COORDINATION
2009
Springer
16 years 7 months ago
Multicore Scheduling for Lightweight Communicating Processes
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
PPOPP
2005
ACM
16 years 6 days ago
Static analysis of atomicity for programs with non-blocking synchronization
In concurrent programming, non-blocking synchronization is very efficient but difficult to design correctly. This paper presents a static analysis to show that code blocks are ato...
Liqiang Wang, Scott D. Stoller
ECOOPW
1994
Springer
15 years 10 months ago
Abstracting Interactions Based on Message Sets
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...
Svend Frølund, Gul Agha