435 search results - page 1 / 87 » Methods to Learn Abstract Scheduling Models |
CP
2005
Springer
13 years 10 months ago
2005
Springer
SARA
2005
Springer
13 years 10 months ago
2005
Springer
RTSS
2003
IEEE
13 years 10 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
ICML
1998
IEEE
14 years 5 months ago
1998
IEEE
tion Learning about Temporally Abstract Actions Richard S. Sutton Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 rich@cs.umass.edu Doina Precup D...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...