3565 search results - page 151 / 713 » Modeling a system controller for timing analysis |
122
Voted
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
140
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
108
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we use partially ordered sets (posets) to study decentralized control problems arising in different settings. We show that time delayed systems with certain dela...
129
click to vote
JCP
2008
15 years 3 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
136
Voted
RTSS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...