3565 search results - page 123 / 713 » Modeling a system controller for timing analysis |
137
click to vote
NCA
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
131
click to vote
CSMR
2008
IEEE
15 years 9 months ago
2008
IEEE
Effort to evolve and maintain a software system is likely to vary depending on the amount and frequency of change requests. This paper proposes to model change requests as time se...
101
click to vote
QUESTA
2006
15 years 3 months ago
2006
The Discriminatory Processor Sharing (DPS) model is a multi-class generalization of the egalitarian Processor Sharing model. In the DPS model all jobs present in the system are se...
114
click to vote
WSC
2001
15 years 4 months ago
2001
Simulation models provide a powerful tool for the analysis of manufacturing systems, but their utility beyond the design stage of the system life cycle is hampered by the high cos...
149
click to vote
RTSS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....