Sciweavers

6756 search results - page 1000 / 1352
» Distributed Shared State
Sort
View
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
15 years 2 months ago
Time-synchronization in mobile sensor networks from difference measurements
We examine distributed time-synchronization in mobile ad-hoc and sensor networks. The problem is to estimate the skews and offsets of clocks of all the nodes with respect to an arb...
Chenda Liao, Prabir Barooah
IAJIT
2011
15 years 2 months ago
A Markovian approach for arabic root extraction
In this paper, we present an Arabic morphological analysis system that assigns, for each word of an unvoweled Arabic sentence, a unique root depending on the context. The proposed...
Abderrahim Boudlal, Mohamed Ould Abdallahi Ould Be...
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 2 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
PODC
2011
ACM
14 years 10 months ago
The complexity of robust atomic storage
We study the time-complexity of robust atomic read/write storage from fault-prone storage components in asynchronous message-passing systems. Robustness here means wait-free tolera...
Dan Dobre, Rachid Guerraoui, Matthias Majuntke, Ne...
DCOSS
2011
Springer
14 years 7 months ago
Transmission Control Policy design for decentralized detection in sensor networks
—A Wireless Sensor Network (WSN) deployed for detection applications has the distinguishing feature that sensors cooperate to perform the detection task. Therefore, the decoupled...
Ashraf Tantawy, Xenofon D. Koutsoukos, Gautam Bisw...
« Prev « First page 1000 / 1352 Last » Next »