Sciweavers

922 search results - page 1 / 185
» Fairness, Resources, and Separation
Sort
View
ENTCS
2010
74views more  ENTCS 2010»
13 years 4 months ago
Fairness, Resources, and Separation
Stephen Brookes
ASPLOS
2010
ACM
13 years 8 months ago
Fairness via source throttling: a configurable and high-performance fairness substrate for multi-core memory systems
Cores in a chip-multiprocessor (CMP) system share multiple hardware resources in the memory subsystem. If resource sharing is unfair, some applications can be delayed significantl...
Eiman Ebrahimi, Chang Joo Lee, Onur Mutlu, Yale N....
VALUETOOLS
2006
ACM
166views Hardware» more  VALUETOOLS 2006»
13 years 10 months ago
Fairness considerations of scheduling in multi-server and multi-queue systems
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
SIGMETRICS
2005
ACM
154views Hardware» more  SIGMETRICS 2005»
13 years 10 months ago
Fair operation of multi-server and multi-queue systems
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
David Raz, Benjamin Avi-Itzhak, Hanoch Levy
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
13 years 10 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko