Sciweavers

194 search results - page 37 / 39
» A Neural Network Approach to Routing in Multihop Radio Netwo...
Sort
View
ISSTA
2000
ACM
13 years 12 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
MOBICOM
1999
ACM
13 years 12 months ago
The Broadcast Storm Problem in a Mobile ad hoc Network
Broadcasting is a common operation in a network to resolve many issues. In a mobile ad hoc network (MANET) in particular, due to host mobility, such operations are expected to be e...
Sze-Yao Ni, Yu-Chee Tseng, Yuh-Shyan Chen, Jang-Pi...
INFOCOM
2010
IEEE
13 years 6 months ago
DAC: Distributed Asynchronous Cooperation for Wireless Relay Networks
—Cooperative relay is a communication paradigm that aims to realize the capacity of multi-antenna arrays in a distributed manner. However, the symbol-level synchronization requir...
Xinyu Zhang, Kang G. Shin
ADHOC
2011
12 years 11 months ago
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks
—Stringent cost and energy constraints impose the use of low-cost and low-power radio transceivers in large-scale wireless sensor networks (WSNs). This fact, together with the ha...
Nouha Baccour, Anis Koubaa, Maissa Ben Jamâa...
ISCC
2009
IEEE
262views Communications» more  ISCC 2009»
14 years 2 months ago
Babelchord: a social tower of DHT-based overlay networks
Chord is a protocol to distribute and retrieve information at large scale. It builds a large but rigid overlay network without taking into account the social nature and the underl...
Luigi Liquori, Cédric Tedeschi, Francesco B...