Sciweavers

717 search results - page 19 / 144
» Kill-safe synchronization abstractions
Sort
View
ATAL
1998
Springer
14 years 3 months ago
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
Peter Stone, Manuela M. Veloso
ESOP
2004
Springer
14 years 4 months ago
Resources, Concurrency, and Local Reasoning (Abstract)
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
Peter W. O'Hearn
IPPS
1998
IEEE
14 years 3 months ago
Synchronizing Operations on Multiple Objects
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...
Tim Rühl, Henri E. Bal
PIMRC
2010
IEEE
13 years 8 months ago
Carrier frequency synchronization in the downlink of 3GPP LTE
Abstract--In this paper, we investigate carrier frequency synchronization in the downlink of 3GPP Long Term Evolution (LTE). A complete carrier frequency offset estimation and comp...
Qi Wang, Christian Mehlführer, Markus Rupp
SSS
2007
Springer
102views Control Systems» more  SSS 2007»
14 years 5 months ago
Secure and Self-stabilizing Clock Synchronization in Sensor Networks
Abstract. In sensor networks, correct clocks have arbitrary starting offsets and nondeterministic fluctuating skews. We consider an adversary that aims at tampering with the cloc...
Jaap-Henk Hoepman, Andreas Larsson, Elad Michael S...