20126 search results - page 225 / 4026 » Timed Transition Systems |
162
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
141
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
138
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We prove several decidability and undecidability results for -PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability of...
140
click to vote
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Many scheduling paradigms have been studied for realtime applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, ti...