Sciweavers

5740 search results - page 35 / 1148
» Dynamic Distributed BackJumping
Sort
View
CONCUR
2008
Springer
13 years 10 months ago
A Model of Dynamic Separation for Transactional Memory
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...
Martín Abadi, Tim Harris, Katherine F. Moor...
APIN
2006
142views more  APIN 2006»
13 years 9 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
IPPS
1998
IEEE
14 years 1 months ago
EDF Consensus on CAN Bus Access for Dynamic Real-Time Applications
The paper introduces a mechanism to implement distributed scheduling for CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issu...
Mohammad Ali Livani, Jörg Kaiser
IPPS
1998
IEEE
14 years 1 months ago
Aggressive Dynamic Execution of Multimedia Kernel Traces
There has been relatively little analytical work on processor optimizations for multimedia applications. With the
Benjamin Bishop, Robert Michael Owens, Mary Jane I...
BIOINFORMATICS
2012
11 years 11 months ago
Approximate probabilistic analysis of biopathway dynamics
Bing Liu 0013, Andrei Hagiescu, Sucheendra K. Pala...