6289 search results - page 48 / 1258 » Error Sequence Analysis |
142
Voted
ESOP
2011
Springer
14 years 6 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
125
click to vote
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— When a robot travels in urban area, Global Positional System (GPS) signals might be obstructed by buildings. Hence visual odometry is a choice. We notice that the verti...
112
click to vote
ISQED
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...
151
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper analyzes the average bit error rate (BER) performance of singular value decomposition-based multiple-input multiple-output systems with channel estimation error and ...
124
click to vote
ISQED
2005
IEEE
15 years 8 months ago
2005
IEEE
Recently, a new Dynamic Voltage Scaling (DVS) scheme has been proposed that increases energy efficiency significantly by allowing the processor to operate at or slightly below the...