Sciweavers

472 search results - page 43 / 95
» Symbolic range propagation
Sort
View
GLOBECOM
2007
IEEE
15 years 4 months ago
Doppler Spread Estimation for Broadband Wireless OFDM Systems
Abstract— In this paper, we present a new Doppler spread estimation algorithm for broadband wireless orthogonal frequency division multiplexing (OFDM) systems with time-varying a...
Jun Tao, Jingxian Wu, Chengshan Xiao
FSTTCS
2010
Springer
15 years 2 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
SECON
2010
IEEE
15 years 2 months ago
Tones for Real: Managing Multipath in Underwater Acoustic Wakeup
The principles of sensor networks--low-power, wireless, in-situ sensing with many inexpensive sensors--are only recently penetrating into underwater research. Acoustic communicati...
Affan A. Syed, John S. Heidemann, Wei Ye
ICDCS
2007
IEEE
15 years 10 months ago
Asymptotic Connectivity in Wireless Networks Using Directional Antennas
Connectivity is a crucial issue in wireless networks. Gupta and Kumar show that with omnidirectional antennas, the critical transmission range for a wireless network to achieve as...
Pan Li, Chi Zhang, Yuguang Fang
PEPM
2009
ACM
16 years 1 months ago
Program analysis for bug detection using parfait: invited talk
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernha...