Sciweavers

3098 search results - page 141 / 620
» On distributed smooth scheduling
Sort
View
SPIN
2010
Springer
15 years 4 months ago
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio,...
RTSS
2009
IEEE
16 years 1 months ago
Distributed, Modular HTL
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
Thomas A. Henzinger, Christoph M. Kirsch, Eduardo ...
CLUSTER
2009
IEEE
16 years 1 months ago
Fault-aware, utility-based job scheduling on Blue, Gene/P systems
Wei Tang, Zhiling Lan, Narayan Desai, Daniel Buett...
CLUSTER
2009
IEEE
16 years 1 months ago
Batch queue resource scheduling for workflow applications
Yang Zhang, Charles Koelbel, Keith D. Cooper