3342 search results - page 125 / 669 » Symbolic Robustness Analysis |
VTC
2007
IEEE
16 years 9 days ago
2007
IEEE
— In this paper, we present a statistical analysis of the peak-to-average power ratio (PAPR) for non-contiguous orthogonal frequency division multiplexing (NC-OFDM) signals. When...
158
click to vote
CAV
2007
Springer
16 years 7 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
146
click to vote
GLOBECOM
2006
IEEE
16 years 3 days ago
2006
IEEE
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...
187
click to vote
VTC
2006
IEEE
16 years 1 days ago
2006
IEEE
—In this paper, by using the moment generating function (MGF) method, we derived the exact symbol error rate (SER) of multiple-input multiple-output (MIMO) system with transmit-a...
162
Voted
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...