5981 search results - page 121 / 1197 » time 2006 |
117
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
INFOCOM
2006
IEEE
15 years 7 months ago
2006
IEEE
— More and more traffic management techniques, including accounting and load adaptive routing, try to take advantage of the fact that traffic demands are consistent with Zipf...
109
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
EOR
2006
15 years 28 days ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...