20126 search results - page 244 / 4026 » Timed Transition Systems |
166
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
135
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
129
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-In fast time varying systems, the problem of acquiring the channel coefficients required for symbol decoding commonly arises. A method of resolving this problem is the use...
120
click to vote
HOTOS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper considers the problem of scheduling Real Time applications on a general-purpose Operating System. The approach taken is to modify a mainstream system, in order to reali...
146
click to vote
CAISE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...