395 search results - page 26 / 79 » Priority Scheduling of Distributed Systems Based on Model Ch... |
121
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Efficient multisite job scheduling facilitates the cooperation of multi-domain massively parallel processor systems in a computing grid environment. However, co-allocation, hetero...
110
Voted
GCC
2007
Springer
15 years 5 months ago
2007
Springer
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
114
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
144
Voted
CONCUR
1997
Springer
15 years 6 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
141
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...