936 search results - page 82 / 188 » Task Graph Scheduling Using Timed Automata |
110
click to vote
INFOCOM
2009
IEEE
15 years 11 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...
130
click to vote
FORMATS
2004
Springer
15 years 9 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...
169
click to vote
PACT
2005
Springer
15 years 10 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...
164
click to vote
JUCS
2010
15 years 2 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...
145
click to vote
CCGRID
2009
IEEE
15 years 2 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...