936 search results - page 82 / 188 » Task Graph Scheduling Using Timed Automata |
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Load balancing is a common approach for task assignment in distributed architectures. In this paper, we show that the degree of inefficiency in load balancing designs is highly...
104
click to vote
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
136
click to vote
PACT
2005
Springer
15 years 7 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
131
click to vote
JUCS
2010
14 years 12 months ago
2010
: We consider the problem of efficiently evaluating a large number of XPath expressions, especially in the case when they define subscriber profiles for filtering of XML documen...
114
click to vote
CCGRID
2009
IEEE
14 years 11 months ago
2009
IEEE
We propose information aggregation as a method for summarizing the resource-related information, used by the task scheduler. Through this method the information of a set of resour...