415 search results - page 26 / 83 » Testing Component-Based Real Time Systems |
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
149
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
142
click to vote
ICVS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a real-time approach for traversable surface detection using a low-cost monocular camera mounted on an autonomous vehicle. The proposed methodology extracts co...
137
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...
132
click to vote
HCI
2007
15 years 5 months ago
2007
This paper describes an e-learning interface with multiple tutoring character agents. The character agents use eye movement information to facilitate empathy-relevant reasoning and...