1980 search results - page 132 / 396 » Compositional Model Checking of Real Time Systems |
111
click to vote
CIIT
2004
15 years 3 months ago
2004
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
123
click to vote
ICIP
1998
IEEE
16 years 3 months ago
1998
IEEE
Optical flow estimation from image sequences has been for several years a mathematical process carried out by general purpose processors in no real time. In this work a specific a...
152
click to vote
WSC
2007
15 years 4 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
109
click to vote
SAFECOMP
2007
Springer
15 years 7 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
125
click to vote
CG
2004
Springer
15 years 1 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...