1980 search results - page 141 / 396 » Compositional Model Checking of Real Time Systems |
120
click to vote
PG
2007
IEEE
15 years 8 months ago
2007
IEEE
We describe a new, analytic approximation to the airlight integral from scattering media whose density is modeled as a sum of Gaussians. The approximation supports real-time rende...
111
click to vote
IVC
2000
15 years 1 months ago
2000
In this paper we present a technique for tracking borescope tip pose in real-time. While borescopes are used regularly to inspect machinery for wear or damage, knowing the exact l...
139
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
105
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
102
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Embedded software design for real time reactive system