Sciweavers

2211 search results - page 320 / 443
» Robustness of Model-Based Simulations
Sort
View
RTAS
2008
IEEE
14 years 3 months ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
SECON
2008
IEEE
14 years 3 months ago
Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks Using Black Bursts
—In this paper, we present Black Burst Synchronization (BBS)1 , a novel protocol for decentralized network-wide tick synchronization in wireless ad hoc networks, located at MAC l...
Reinhard Gotzhein, Thomas Kuhn
VTC
2008
IEEE
120views Communications» more  VTC 2008»
14 years 3 months ago
A Comprehensive Performance Comparison of OFDM/TDM Using MMSE-FDE and Conventional OFDM
—Orthogonal frequency division multiplexing (OFDM) is currently under intense research for broadband wireless transmission due to its robustness against multipath fading. However...
Haris Gacanin, Fumiyuki Adachi
VTC
2008
IEEE
158views Communications» more  VTC 2008»
14 years 3 months ago
A Novel Load Balanced and Lifetime Maximization Routing Protocol in Wireless Sensor Networks
Abstract— Balancing energy consumption and prolonging network lifetime are open challenges in Wireless Sensor Networks. In this paper, we design a novel load balanced routing pro...
Chengjie Wu, Ruixi Yuan, Hongchao Zhou
WCNC
2008
IEEE
14 years 3 months ago
Estimation of Link Quality and Residual Time in Vehicular Ad Hoc Networks
—High node mobility and transient connectivity in Vehicular Ad Hoc NETworks have introduced numerous challenges in the design of efficient communication protocols for these netwo...
Nikoletta Sofra, Kin K. Leung