3335 search results - page 6 / 667 » Grid result checking |
FGCS
2010
14 years 10 months ago
2010
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
125
Voted
ANSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...
HPDC
2002
IEEE
15 years 4 months ago
2002
IEEE
With the advent of Grid Computing, scheduling strategies for distributed heterogeneous systems have either become irrelevant or have to be extended significantly to support Grid d...
GCC
2003
Springer
15 years 5 months ago
2003
Springer
Common to Grid services, Web Services, software agents and software components is that they are independently built and provide services aimed for composition. A key issue is wheth...