Sciweavers

2700 search results - page 521 / 540
» The role of abstraction in software engineering
Sort
View
TCOM
2010
162views more  TCOM 2010»
15 years 24 days ago
Power Allocation in MMSE Relaying over Frequency-Selective Rayleigh Fading Channels
Abstract--This paper develops an amplify-and-forward relaying scheme for multiuser wireless cooperative networks under frequency-selective block-fading. Single-carrier frequency di...
Tung T. Pham, Ha H. Nguyen, Hoang Duong Tuan
TCOM
2010
162views more  TCOM 2010»
15 years 24 days ago
RFID Reader Receivers for Physical Layer Collision Recovery
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
Christoph Angerer, Robert Langwieser, Markus Rupp
TCOM
2010
83views more  TCOM 2010»
15 years 24 days ago
Early-Elimination Modification for Priority-First Search Decoding
Abstract--In order to release the growing demand for computational complexity with respect to increasing information sequence length in the priority-first search decoding algorithm...
Shin-Lin Shieh, Po-Ning Chen, Yunghsiang S. Han, T...
TCOM
2011
122views more  TCOM 2011»
15 years 13 days ago
Relay Station Placement Strategy in IEEE 802.16j WiMAX Networks
Abstract—In this paper, we study the relay station (RS) placement strategy in IEEE 802.16j WiMAX networks. Specifically, the impact of RS placement on IEEE 802.16j network perfo...
Hsiao-Chen Lu, Wanjiun Liao, Frank Yeong-Sung Lin
POPL
2010
ACM
16 years 3 months ago
Counterexample-Guided Focus
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
Andreas Podelski, Thomas Wies