1980 search results - page 148 / 396 » Compositional Model Checking of Real Time Systems |
152
Voted
CSREAESA
2006
15 years 3 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
135
click to vote
CGF
2005
15 years 1 months ago
2005
Current surface-based methods for interactive freeform editing of high resolution 3D models are very powerful, but at the same time require a certain minimum tessellation or sampl...
131
Voted
ICAT
2006
IEEE
15 years 7 months ago
2006
IEEE
A real-time camera registration algorithm using nature features for augmented reality applications is presented. The system uses a single camera for visual tracking of the nature ...
115
Voted
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
135
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...