114 search results - page 14 / 23 » Symbolic Simulation: An ACL2 Approach |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, a novel closed-loop distributed extended orthogonal space time block code (D-EO-STBC) with one-bit feedback based on selection of phase rotation is proposed for two...
ECCE
2007
13 years 9 months ago
2007
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
SP
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper we investigate the error probability for OFDM with carrier frequency offset (CFO) in additive white Gaussian noise (AWGN) and Rayleigh fading channels. The statis...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...