Sciweavers

893 search results - page 98 / 179
» Environment Assumptions for Synthesis
Sort
View
WOWMOM
2009
ACM
143views Multimedia» more  WOWMOM 2009»
14 years 2 months ago
Enhanced Ripple (E-Ripple) protocol for chain-based multihop wireless networks
It has been shown that IEEE 802.11 DCF medium access control (MAC) protocol may not be suitable for multihop wireless networks due to its relatively low throughput and severely un...
Quang Vu Nguyen, Ray-Guang Cheng
GLOBECOM
2008
IEEE
14 years 2 months ago
GLRT-Based Spectrum Sensing for Cognitive Radio
—In this paper, we propose several spectrum sensing methods designed using the generalized likelihood ratio test (GLRT) paradigm, for application in a cognitive radio network. Th...
Teng Joon Lim, Rui Zhang, Ying-Chang Liang, Yongho...
LICS
2008
IEEE
14 years 2 months ago
An Algebraic Process Calculus
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
Emmanuel Beffara
GLOBECOM
2007
IEEE
14 years 2 months ago
ICI Canceling Space-Frequency Block Code for MISO-OFDM in Fast Fading Channels
— An intercarrier interference (ICI) canceling technique for multiple-input single-output (MISO) orthogonal frequency division multiplexing (OFDM) systems in fast fading channels...
Jae Yeun Yun, Eui-Rim Jeong, Jongguk Ahn, Jongtae ...
ICC
2007
IEEE
178views Communications» more  ICC 2007»
14 years 2 months ago
Closed-Form BER Expressions for BPSK Using MRC with Multiple Interferers in Arbitrarily Correlated Rayleigh Fading
— An exact and closed-form expression for the average bit error rate (BER) of coherent binary phase-shift keying (BPSK) using maximal ratio combining (MRC) in the presence of mul...
Xiaodi Zhang, Norman C. Beaulieu