Sciweavers

550 search results - page 85 / 110
» Complementarity of Error Detection Techniques
Sort
View
VTC
2006
IEEE
112views Communications» more  VTC 2006»
14 years 1 months ago
Interference Suppression Through Adaptive Subset Antenna Transmission in Interference Limited MIMO Wireless Environments
Abstract— We consider spatially multiplexed MIMO transmission in the presence of co-channel interference with subset transmit antenna selection. Several algorithms for antenna se...
Shreeram Sigdel, Witold A. Krzymien
ICCVW
1999
Springer
13 years 12 months ago
A General Method for Feature Matching and Model Extraction
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
Clark F. Olson
FCCM
2004
IEEE
103views VLSI» more  FCCM 2004»
13 years 11 months ago
A Dynamically-Reconfigurable, Power-Efficient Turbo Decoder
The development of turbo codes has allowed for nearShannon limit information transfer in modern communication systems. Although turbo decoding is viewed as superior to alternate d...
Jian Liang, Russell Tessier, Dennis Goeckel
ISSTA
2010
ACM
13 years 9 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
FTCS
1996
110views more  FTCS 1996»
13 years 9 months ago
Experimental Assessment of Parallel Systems
In the research reported in this paper, transient faults were injected in the nodes and in the communication subsystem (by using software fault injection) of a commercial parallel...
João Gabriel Silva, Joao Carreira, Henrique...