Sciweavers

4138 search results - page 326 / 828
» Design and implementation of a network simulation system
Sort
View
VTC
2010
IEEE
162views Communications» more  VTC 2010»
15 years 5 months ago
Performance Evaluation of Joint Network-Channel Coding under a Real Network Topology Model
— Adaptive network coded cooperation (ANCC) has been proposed as an effective scheme to combine network and channel coding for cooperative wireless networks by matching network-o...
Kun Pang, Zihuai Lin, Yonghui Li, Branka Vucetic
ICDCS
2009
IEEE
15 years 4 months ago
TBD: Trajectory-Based Data Forwarding for Light-Traffic Vehicular Networks
This paper proposes a Trajectory-Based Data Forwarding (TBD) scheme, tailored for the data forwarding in lighttraffic vehicular ad-hoc networks. State-of-the-art schemes have demo...
Jaehoon Jeong, Shuo Guo, Yu Gu, Tian He, David Du
INFOCOM
2009
IEEE
16 years 1 months ago
Beyond Trilateration: On the Localizability of Wireless Ad-Hoc Networks
— The proliferation of wireless and mobile devices has fostered the demand of context aware applications, in which location is often viewed as one of the most significant context...
Zheng Yang, Yunhao Liu, Xiang-Yang Li
IADIS
2004
15 years 8 months ago
A Framework for Symbolic Distributed Computer-Aided Design over the Internet
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
Yingcai Xiao, Shivakumar Kubendrachari
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 11 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi