20126 search results - page 263 / 4026 » Timed Transition Systems |
160
click to vote
ISCA
2003
IEEE
15 years 9 months ago
2003
IEEE
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
146
Voted
SIGMETRICS
2003
ACM
15 years 9 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
146
Voted
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We consider a resource synthesis technique for realtime systems where the energy budget is limited and the performance of the system depends on how resources and energy are used. ...
147
Voted
DEDS
1998
15 years 4 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
163
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...