Sciweavers

20 search results - page 4 / 4
» Asymptotic achievability for linear time invariant state spa...
Sort
View
CORR
2006
Springer
92views Education» more  CORR 2006»
13 years 4 months ago
Performance of STBC MC-CDMA systems over outdoor realistic MIMO channels
This paper deals with orthogonal Space-Time Block Coded MC-CDMA systems, in outdoor realistic downlink scenarios with up to two transmit and receive antennas. Assuming no channel s...
Fabrice Portier, Jean-Yves Baudais, Jean-Fran&cced...
TC
2010
12 years 11 months ago
Model-Driven System Capacity Planning under Workload Burstiness
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
CAV
2010
Springer
172views Hardware» more  CAV 2010»
13 years 8 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
SPAA
2009
ACM
14 years 2 months ago
At-most-once semantics in asynchronous shared memory
Abstract. At-most-once semantics is one of the standard models for object access in decentralized systems. Accessing an object, such as altering the state of the object by means of...
Sotiris Kentros, Aggelos Kiayias, Nicolas C. Nicol...
CORR
2006
Springer
152views Education» more  CORR 2006»
13 years 4 months ago
On Reduced Complexity Soft-Output MIMO ML detection
In multiple-input multiple-output (MIMO) fading channels maximum likelihood (ML) detection is desirable to achieve high performance, but its complexity grows exponentially with th...
Massimiliano Siti, Michael P. Fitz