Sciweavers

16128 search results - page 281 / 3226
» Distributed network scheduling
Sort
View
149
Voted
SPIN
2010
Springer
15 years 2 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
15 years 10 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 ...
SPAA
2009
ACM
15 years 10 months ago
The bell is ringing in speed-scaled multiprocessor scheduling
Gero Greiner, Tim Nonner, Alexander Souza
CLUSTER
2009
IEEE
15 years 10 months ago
Fault-aware, utility-based job scheduling on Blue, Gene/P systems
Wei Tang, Zhiling Lan, Narayan Desai, Daniel Buett...
CLUSTER
2009
IEEE
15 years 10 months ago
Batch queue resource scheduling for workflow applications
Yang Zhang, Charles Koelbel, Keith D. Cooper