Sciweavers

2598 search results - page 243 / 520
» The Abstract Immune System Algorithm
Sort
View
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 10 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 6 months ago
MIMO Transmission with Residual Transmit-RF Impairments
Abstract--Physical transceiver implementations for multipleinput multiple-output (MIMO) wireless communication systems suffer from transmit-RF (Tx-RF) impairments. In this paper, w...
Christoph Studer, Markus Wenk, Andreas Burg
TON
2008
69views more  TON 2008»
15 years 6 months ago
Order optimal delay for opportunistic scheduling in multi-user wireless uplinks and downlinks
Abstract-- We consider a one-hop wireless network with independent time varying channels and N users, such as a multiuser uplink or downlink. We first show that general classes of ...
Michael J. Neely
JSAC
1998
81views more  JSAC 1998»
15 years 6 months ago
Early Detection and Trellis Splicing: Reduced-Complexity Iterative Decoding
Abstract—The excellent bit error rate performance of new iterative decoding algorithms (e.g., turbodecoding) is achieved at the expense of a computationally burdensome decoding p...
Brendan J. Frey, Frank R. Kschischang
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 6 months ago
Sum Rate Maximization using Linear Precoding and Decoding in the Multiuser MIMO Downlink
Abstract--We propose an algorithm to maximize the instantaneous sum data rate transmitted by a base station in the downlink of a multiuser multiple-input, multiple-output system. T...
Adam J. Tenenbaum, Raviraj S. Adve