3565 search results - page 326 / 713 » Modeling a system controller for timing analysis |
171
click to vote
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
134
click to vote
ICTAI
1992
IEEE
15 years 8 months ago
1992
IEEE
This paper presents a method for tuning parameters under a fixed time constraint for a general binocular stereo-vision algorithm. A major difficulty in stereo vision, as well as i...
156
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
126
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
The ensemble Kalman filter for data assimilation involves the propagation of a collection of ensemble members. Under the assumption of time-sparse measurements, we avoid propagatin...
138
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...