974 search results - page 29 / 195 » scheduling 2010 |
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
GLOBECOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--We devise an optimization framework for generalized proportional fairness (GPF) under different time scales for amplify-and-forward (AF) relay networks. In GPF scheduling...
PDP
2010
IEEE
14 years 24 days ago
2010
IEEE
—The emergence of multi-core computers has led to explosive development of parallel applications and hence the need of efficient schedulers for parallel jobs. Adaptive online sc...
EOR
2000
13 years 8 months ago
2000
This paper addresses the problem of scheduling randomly arriving tasks of dierent types at a diversi
SODA
2010
ACM
14 years 6 months ago
2010
ACM