75 search results - page 2 / 15 » Declarative scheduling in highly scalable systems |
PPOPP
2009
ACM
14 years 8 months ago
2009
ACM
Fairness is an essential requirement of any operating system scheduler. Unfortunately, existing fair scheduling algorithms are either inaccurate or inefficient and non-scalable fo...
TVLSI
2008
13 years 7 months ago
2008
This paper proposes a high-performance scalable quality-of-service (QoS)-aware memory controller for the packet memory where packet data are stored in network routers. A major chal...
AI
2005
Springer
13 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies the optimization techniques for scheduling multimedia packets in satellite digital multimedia broadcasting system, namely SDMB, in the presence of a return l...