114 search results - page 16 / 23 » Symbolic Simulation: An ACL2 Approach |
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
A parallel structure to do spectrum sensing in Cognitive Radio (CR) at sub-Nyquist rate is proposed. The structure is based on Compressed Sensing (CS) that exploits the sparsity o...
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Modern layered or scalable video coding technologies generate a video bit stream with various inter layer dependencies due to references between the layers. This work p...
ISCAS
2003
IEEE
14 years 20 days ago
2003
IEEE
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
ICC
2000
IEEE
13 years 11 months ago
2000
IEEE
The biggest limitation of Radio over Fiber (ROF) links in a wireless network is its limited dynamic range due to ‘Non Linear Distortions’ (NLD). In this paper a higher orde...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— Low density lattice codes (LDLC) are novel lattice codes that can be decoded efficiently and approach the capacity of the additive white Gaussian noise (AWGN) channel. In LDLC...