Sciweavers

695 search results - page 31 / 139
» Symbolic Simulation of Hybrid Systems
Sort
View
TCOM
2010
120views more  TCOM 2010»
15 years 9 days 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 ...
EUROPAR
2006
Springer
15 years 5 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter
120
Voted
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 11 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
VTC
2008
IEEE
15 years 8 months ago
An Analytical Approach to V-BLAST Detection with Optimal Ordering for Two Input Multiple Output Systems
In this paper, an analytical approach to performance analysis of vertical Bell laboratories layered space time (V-BLAST) detection with optimal ordering for systems with two transm...
Wei Peng, Shaodan Ma, Tung-Sang Ng, Jiangzhou Wang...
GLOBECOM
2007
IEEE
15 years 8 months ago
Time-Varying Channel Complex Gains Estimation and ICI Suppression in OFDM Systems
—In this paper, we present an iterative algorithm for channel complex gains estimation with inter-sub-carrierinterference (ICI) reduction in orthogonal-frequency-divisionmultiple...
Hussein Hijazi, Laurent Ros