945 search results - page 43 / 189 » A Schedulability Analysis of Deferrable Scheduling Using Pat... |
114
click to vote
VLDB
1998
ACM
15 years 6 months ago
1998
ACM
Scheduling algorithms for composite multimedia presentations need to ensure that the user-defined synchronization constraints for the various presentation components are met. This...
112
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
—This paper presents technology for performing autonomous commanding of a planetary rover. Through the use of AI planning, scheduling and execution techniques, the OASIS autonomo...
117
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
126
click to vote
EDCC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
116
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...