1629 search results - page 36 / 326 » Infeasible Code Detection |
ESERNET
2003
Springer
14 years 3 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
ICC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We propose to use carrier interferometry (CI) codes to reduce the complexity of the maximumlikelihood multiuser-detection (ML-MUD) receiver in MC-CDMA systems with carrier frequ...
PIMRC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— A continuously increasing demand for higher spectral efficiencies in mobile communications will require next generation cellular systems to employ a very dense reuse o...
GLOBECOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, we study a wireless multiple-input multiple-output system in a Rayleigh flat-fading environment with correlation among the transmit antennas. We assume that the...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...