1345 search results - page 166 / 269 » Reliable dissolve detection |
113
click to vote
RV
2010
Springer
15 years 3 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
130
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. For autonomy in underwater robotics it is essential to develop context-driven controllers, capable of leading from perception to action without human intervention. One of...
140
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
132
Voted
ETS
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper reports two novel algorithms based on time-modulo reconstruction method intended for detection of the parametric faults in analogue-to-digital converters (ADC). In both ...
163
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...