4081 search results - page 59 / 817 » Scheduling in polling systems |
RTS
2011
12 years 11 months ago
2011
This paper is an extended version of a paper that appeared in the proceedings of the IEEE Real-Time Systems Symposium 2009. This paper has been updated with respect to advances ma...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper, we propose new scheduling algorithms to achieve fault security in multiprocessor systems. We consider scheduling of parallel programs represented by directed acycli...
TPDS
2010
13 years 7 months ago
2010
—We propose FIT, a flexible, lightweight, and real-time scheduling system for wireless sensor platforms. There are three salient features of FIT. First, its two-tier hierarchical...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...