407 search results - page 3 / 82 » An Automated Verification Method for Distributed Systems Sof... |
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
14 years 8 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
ICCV
2003
IEEE
14 years 22 days ago
2003
IEEE
A new approach to automatically extract the main features in color fundus images are proposed in this paper. Optic disk is localized by the principal component analysis (PCA) and ...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
IPMI
2003
Springer
14 years 19 days ago
2003
Springer
This work presents an efficient and automated method to extract the human cerebral ventricular system from MRI driven by anatomic knowledge. The ventricular system is divided into ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...