458 search results - page 12 / 92 » Symbolic Object Code Analysis |
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— In this paper we investigate the performance of an adaptive coded modulation (ACM) system in single-input multiple-output Rayleigh fading channels with spatial correlation. The...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
TWC
2008
13 years 8 months ago
2008
This paper discusses the design and analysis of post coded OFDM (PC-OFDM) systems. Coded or precoded OFDM systems are generally employed to overcome the symbol recovery problem in...
SCAM
2002
IEEE
14 years 1 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
APVIS
2004
13 years 9 months ago
2004
Early detection of problems within a code base can save much effort and associated cost as time progresses. One method of performing routine assessment of code with a view to pre-...