7827 search results - page 51 / 1566 » time 2007 |
140
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
128
click to vote
AUTOMATICA
2002
15 years 5 months ago
2002
We propose a time aggregation approach for the solution of in
158
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...
140
click to vote
RTAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
153
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...