Sciweavers

15840 search results - page 105 / 3168
» The Control of Synchronous Systems
Sort
View
EMSOFT
2003
Springer
14 years 3 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
ICEIS
2003
IEEE
14 years 3 months ago
Widam - Web Interaction Display and Monitoring
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
Hugo Gamboa, Vasco Ferreira
VTC
2006
IEEE
14 years 4 months ago
An Initial Timing Offset Estimation Method for OFDM Systems in Rayleigh Fading Channel
- An initial timing offset estimation method for orthogonal frequency-division multiplexing (OFDM) systems is proposed. Conventional preamble-based synchronization methods result i...
Seung Duk Choi, Jung Min Choi, Jae Hong Lee
IPSN
2004
Springer
14 years 3 months ago
Adaptive clock synchronization in sensor networks
Recent advances in technology have made low cost, low power wireless sensors a reality. Clock synchronization is an important service in any distributed system, including sensor n...
Santashil PalChaudhuri, Amit Kumar Saha, David B. ...
ICNP
2009
IEEE
14 years 5 months ago
Accurate Clock Synchronization for IEEE 802.11-Based Multi-Hop Wireless Networks
—Clock synchronization is an essential building block for many control mechanisms used in wireless networks, including frequency hopping, power management, and packet scheduling....
Jui-Hao Chiang, Tzi-cker Chiueh