Sciweavers

10106 search results - page 84 / 2022
» Algorithm Selection and Scheduling
Sort
View
105
Voted
EUROPAR
2010
Springer
15 years 21 days ago
Analysis of Multi-Organization Scheduling Algorithms
Abstract. In this paper we consider the problem of scheduling on computing platforms composed of several independent organizations, known as the Multi-Organization Scheduling Probl...
Johanne Cohen, Daniel Cordeiro, Denis Trystram, Fr...
106
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
Mario Aldea Rivas, Javier Miranda, Michael Gonz&aa...
105
Voted
FORMATS
2007
Springer
15 years 6 months ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
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...
Sergio Giro, Pedro R. D'Argenio
RTSS
2006
IEEE
15 years 6 months ago
Resource Sharing in EDF-Scheduled Systems: A Closer Look
Resource sharing in priority-based systems can give rise to priority-inversion and blocking, wherein a job’s execution is delayed because a lower-priority job holds some resourc...
Sanjoy K. Baruah
99
Voted
IJSNET
2008
125views more  IJSNET 2008»
15 years 15 days ago
Minimum-cost sensor arrangement for achieving wanted coverage lifetime
: Suppose we need to watch a set of targets continuously for a required period of time, and suppose we choose any number of sensors from a fixed set of sensor types and place them ...
Jie Wang, Ning Zhong