Sciweavers

4934 search results - page 623 / 987
» complexity 2008
Sort
View
TVLSI
2008
124views more  TVLSI 2008»
15 years 6 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
TWC
2008
100views more  TWC 2008»
15 years 6 months ago
Generalized feedback detection for spatial multiplexing multi-antenna systems
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
Tao Cui, Chintha Tellambura
TWC
2008
91views more  TWC 2008»
15 years 6 months ago
Throughput and Channel Access Statistics of Generalized Selection Multiuser Scheduling
To provide a near-optimal low-complexity solution to parallel multiuser scheduling in code-division multiple-access (CDMA), we propose generalized selection multiuser diversity (GS...
Yao Ma, Jinghua Jin, Dongbo Zhang
TWC
2008
137views more  TWC 2008»
15 years 6 months ago
Block diagonalization for multi-user MIMO with other-cell interference
Abstract--Block diagonalization is one approach for linear precoding in the multiple-input multiple-output broadcast channel that sends multiple interference free data streams to d...
Seijoon Shim, Jin Sam Kwak, Robert W. Heath Jr., J...
TWC
2008
169views more  TWC 2008»
15 years 6 months ago
Antenna subset diversity with non-ideal channel estimation
In modern wireless systems employing diversity techniques, combining all the available diversity branches may not be feasible due to complexity and resource constraints. To allevia...
Wesley M. Gifford, Moe Z. Win, Marco Chiani