Sciweavers

3098 search results - page 77 / 620
» On distributed smooth scheduling
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 10 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
TWC
2008
100views more  TWC 2008»
15 years 6 months ago
Optimal Power Schedule for Distributed MIMO Links
We present an optimal power scheduling scheme to maximize the throughput of a set of distributed multiple-input multiple-output (MIMO) wireless links. This scheme exploits both spa...
Yue Rong, Yingbo Hua
ERSHOV
1993
Springer
15 years 10 months ago
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
IPPS
2010
IEEE
15 years 4 months ago
Hypergraph-based task-bundle scheduling towards efficiency and fairness in heterogeneous distributed systems
This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributed systems. Two allocation quality metrics are used in pay-per-service distributed ...
Han Zhao, Xinxin Liu, Xiaolin Li
IPPS
2000
IEEE
15 years 10 months ago
Self-Stabilizing Mutual Exclusion Using Unfair Distributed Scheduler
A self-stabilizing algorithm, regardless of the initial system state, converges in finite time to a set of states that satisfy a legitimacy predicate without the need for explici...
Ajoy Kumar Datta, Maria Gradinariu, Sébasti...