3387 search results - page 383 / 678 » Model-Checking for Real-Time Systems |
189
click to vote
ICSE
2000
IEEE-ACM
15 years 11 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
227
click to vote
ACCV
2007
Springer
16 years 1 months ago
2007
Springer
Camera networks are increasingly being deployed for security. In most of these camera networks, video sequences are captured, transmitted and archived continuously from all cameras...
191
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to the real time nature and buddy list presence information of Instant Messaging (IM) systems worms can spread over IM networks rapidly, causing severe damages, however, it...
216
click to vote
ISMAR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a method for generating a texture for hiding a marker in augmented reality applications. The texture is generated by interpolating the neighbourhood of t...
211
click to vote
EUROPAR
2004
Springer
16 years 26 days ago
2004
Springer
Since embedded systems require ever more compute power, SMT processors are viable candidates for future high performance embedded processors. However, SMTs exhibit unpredictable pe...