4693 search results - page 575 / 939 » Verifying Hybrid Systems |
201
click to vote
RTCSA
2006
IEEE
16 years 26 days ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
178
click to vote
CW
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes a choice strategy to ease user’s burdens for an interactive object recognition system when the system obtains multiple object candidates as a recognition re...
147
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— A feature detection system has been developed for real-time identification of lines, circles and people legs from laser range data. A new method suitable for arc/circle detect...
161
click to vote
ICTAI
2005
IEEE
16 years 13 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
172
click to vote
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...