114 search results - page 20 / 23 » Symbolic Simulation: An ACL2 Approach |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— Sphere decoding (SD) is a low complexity maximum likelihood (ML) detection algorithm, which has been adapted for different linear channels in digital communications. The comple...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Multicarrier transmission is an established technique for radio transmission systems and it can be considered as a promising approach for next generation wireless syste...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We propose a low-complexity adaptive highresolution channel prediction algorithm for pilot symbol assisted orthogonal frequency division multiplexing (OFDM) systems. Th...
CHARME
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
JSAC
2008
13 years 7 months ago
2008
In this paper, we propose a new precoding algorithm for orthogonalized spatial multiplexing (OSM) systems over flatfading multiple-input multiple-output (MIMO) channels. The OSM sc...