523 search results - page 27 / 105 » Online Testing of Real-time Systems Using Uppaal |
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
RTCSA
2007
IEEE
14 years 1 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
ICCBR
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...
MVA
1996
13 years 9 months ago
1996
A method for recognizing signal lights in traffic scenes in real time has been developed. It consists of a set of different feature extraction operations acting as sequential filt...
ECRTS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...