Sciweavers

1758 search results - page 79 / 352
» Schedule processes, not VCPUs
Sort
View
FGCS
2007
160views more  FGCS 2007»
15 years 6 months ago
Distributed data mining in grid computing environments
The computing-intensive data mining for inherently Internet-wide distributed data, referred to as Distributed Data Mining (DDM), calls for the support of a powerful Grid with an e...
Ping Luo, Kevin Lü, Zhongzhi Shi, Qing He
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
CCGRID
2007
IEEE
16 years 1 months ago
Dynamic Scheduling with Process Migration
Cong Du, Xian-He Sun, Ming Wu
CPAIOR
2004
Springer
16 years 2 days ago
Using MILP and CP for the Scheduling of Batch Chemical Processes
Christos T. Maravelias, Ignacio E. Grossmann