458 search results - page 5 / 92 » Symbolic Object Code Analysis |
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—This paper analyzes the performance of multipleinput multiple-output (MIMO) systems with transmit and receive antenna selection (T-RAS). The average bit error rate (BER)...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
TGC
2010
Springer
13 years 6 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we derive the theoretical symbol error rate (SER) for a full-rate space-time block coded (STBCed) system with coordinate interleaved orthogonal designs (CIODs) o...
TCOM
2008
13 years 8 months ago
2008
This letter presents a new method to directly analyze and optimize symbol error rate (SER) performance of minimum decoding complexity (MDC) ABBA space-time block codes based on a t...