1226 search results - page 145 / 246 » A Model of Dynamic Resource Allocation in Workflow Systems |
124
click to vote
GG
2004
Springer
15 years 10 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
120
Voted
RTAS
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...
123
Voted
CONCURRENCY
2004
15 years 4 months ago
2004
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
168
click to vote
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we describe a resource matcher (RM) developed for the on-line resource matching in heterogeneous grid environments. RM is based on the principles of Evolutionary Al...
140
click to vote
IJHPCA
2006
15 years 4 months ago
2006
Leasing computational resources for on-demand computing is now a viable option for providers of network services. Temporary spikes or lulls in demand for a service can be accommod...