2180 search results - page 33 / 436 » Performance analysis of concurrent systems with early evalua... |
139
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
343
click to vote
PRDC
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed ...
144
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
108
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper focuses on the uplink of multicell IEEE 802.16-d WiMax systems with OFDM modulation and antenna array at the base stations. We propose an analytical framework to assess...
158
click to vote
TOPNOC
2008
15 years 4 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...