2686 search results - page 6 / 538 » Testing metric properties |
ITC
2003
IEEE
14 years 3 months ago
2003
IEEE
Energy Consumption Ratio (ECR) test, a current-based test, has shown its ability to reduce the impact of process variations and detect hard-to-detect faults. The effectiveness of ...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
IJCAI
2007
13 years 11 months ago
2007
Recently, generative probabilistic modeling principles were extended to visualization of structured data types, such as sequences. The models are formulated as constrained mixture...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
IMCSIT
2010
13 years 7 months ago
2010
A Hadamard representation, which is an alternative towards the binary representation, is considered in this study. It