6289 search results - page 422 / 1258 » Error Sequence Analysis |
186
Voted
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
165
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we present a method for analyzing the leakage current, and hence the leakage power, of a circuit under process parameter variations that can include spatial correla...
155
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—In this contribution, we propose an original algorithm for self-localization in mobile ad-hoc networks. The proposed technique, based on interval analysis, is suited to ...
167
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper analyzes the performance of optimum combining systems in the presence of both co-channel interference and thermal noise, addressing the case where the desireduser un...
204
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Orthogonal Frequency Division Multiplexing (OFDM) has been employed in numerous wireless standards. However, the performance of OFDM systems is degraded by both the Carrier Fre...