3565 search results - page 24 / 713 » Modeling a system controller for timing analysis |
106
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
106
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
121
click to vote
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
108
click to vote
ICPR
2006
IEEE
16 years 26 days ago
2006
IEEE
This article deals with facial segmentation and liptracking with feedback control for real-time animation of a synthetic 3D face model. Classical approaches consist in two success...
SIMPRA
2008
14 years 11 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...