922 search results - page 18 / 185 » Fairness, Resources, and Separation |
TWC
2008
14 years 10 months ago
2008
Abstract-- Quality-of-service (QoS) provisioning, high system throughput, and fairness assurance are indispensable for heterogeneous traffic in future wireless broadband networks. ...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
DAGSTUHL
2004
14 years 11 months ago
2004
Abstract. When exploring online resources, users often make many separate retrievals
MICRO
2002
IEEE
15 years 2 months ago
2002
IEEE
Simultaneous multithreading seeks to improve the aggregate computation bandwidth of a processor core by sharing resources such as functional units, caches, TLB and so on. To date,...
ALDT
2009
Springer
15 years 1 months ago
2009
Springer
We study the problem of allocating a set of indivisible goods to a set of agents having additive preferences. We introduce two new important complexity results concerning efficienc...