523 search results - page 39 / 105 » Online Testing of Real-time Systems Using Uppaal |
DICTA
2003
13 years 9 months ago
2003
This paper introduced a human surveillance system which integrated the face understanding technologies to recognize personal identities in real time. We proposed a coarse-to-fine s...
ETS
2011
IEEE
12 years 7 months ago
2011
IEEE
—As circuits continue to scale to smaller feature sizes, wearout and latent defects are expected to cause an increasing number of errors in the field. Online error detection tec...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
TVLSI
2008
13 years 7 months ago
2008
Lifetime concerns for complex systems-on-a-chip (SoC) designs due to decreasing levels in reliability motivate the development of solutions to ensure reliable operation. A precurso...
PCM
2004
Springer
14 years 1 months ago
2004
Springer
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...