717 search results - page 123 / 144 » Kill-safe synchronization abstractions |
115
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
112
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimation...
MOBILIGHT
2010
14 years 9 months ago
2010
Abstract. A comparison between time and frequency domain TOA estimators compliant with the 802.15.4a Standard has been made. The time domain estimator is done in two stages. One ha...
103
click to vote
OPODIS
2010
14 years 9 months ago
2010
Abstract. Wireless Ad-hoc networks are distributed systems that often reside in error-prone environments. Self-stabilization lets the system recover autonomously from an arbitrary ...
123
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...