Sciweavers

1953 search results - page 326 / 391
» codes 2010
Sort
View
137
Voted
SPRINGSIM
2010
15 years 2 months ago
Advanced IDE for modeling and simulation of discrete event systems
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
Matías Bonaventura, Gabriel A. Wainer, Rodr...
120
Voted
STTT
2010
97views more  STTT 2010»
15 years 2 months ago
Distributed dynamic partial order reduction
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Rob...
130
Voted
TCOM
2010
120views more  TCOM 2010»
15 years 1 months ago
Improved linear soft-input soft-output detection via soft feedback successive interference cancellation
—We propose an improved minimum mean square error (MMSE) vertical Bell Labs layered space-time (V-BLAST) detection technique, called a soft input, soft output, and soft feedback ...
Jun Won Choi, Andrew C. Singer, Jung Woo Lee, Nam ...
140
Voted
TCOM
2010
133views more  TCOM 2010»
15 years 1 months ago
An Exact Performance Analysis of MRC / OSTBC over Generalized Fading Channels
—A unified analytical framework for evaluating the performance of maximal ratio combining (MRC) and orthogonal space-time block coding (OSTBC) over generalized fading channels i...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
134
Voted
TCOM
2010
115views more  TCOM 2010»
15 years 1 months ago
QoS Analysis of a Scheduling Policy for Heterogeneous Users Employing AMC Jointly with ARQ
—This paper analyzes the quality of service (QoS) of scheduling algorithms for heterogeneous users in multiuser (MU) wireless systems that take advantage from a crosslayer design...
Mario Poggioni, Luca Rugini, Paolo Banelli