Sciweavers

981 search results - page 173 / 197
» Symbolic pointer analysis
Sort
View
ICC
2007
IEEE
149views Communications» more  ICC 2007»
14 years 3 months ago
Synchronization Signal Design for OFDM Based On Time-Frequency Hopping Patterns
— In an OFDM system, channel estimation can be considered as sampling the time-frequency response of the channel through a number of known pilot symbols placed across the time-fr...
Jiann-Ching Guey
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
14 years 3 months ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
ICC
2007
IEEE
141views Communications» more  ICC 2007»
14 years 3 months ago
Iterative Turbo Channel Estimation for OFDM System over Rapid Dispersive Fading Channel
— Current OFDM systems assume the channel is not time varying within one OFDM frame, and use channel estimates obtained from preamble or pilots for data symbols within the same f...
Ming Zhao 0001, Zhenning Shi, Mark C. Reed
ISNN
2007
Springer
14 years 3 months ago
A Connectionist Thematic Grid Predictor for Pre-parsed Natural Language Sentences
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
João Luís Garcia Rosa
ASWEC
2006
IEEE
14 years 2 months ago
Formal Verification of the IEEE 802.11i WLAN Security Protocol
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
Elankayer Sithirasenan, Saad Zafar, Vallipuram Mut...