Sciweavers

922 search results - page 44 / 185
» Fairness, Resources, and Separation
Sort
View
ESOP
2004
Springer
15 years 3 months ago
Resources, Concurrency, and Local Reasoning (Abstract)
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
Peter W. O'Hearn
POPL
2005
ACM
15 years 10 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
FOCS
1990
IEEE
15 years 2 months ago
Separating Distribution-Free and Mistake-Bound Learning Models over the Boolean Domain
Two of the most commonly used models in computational learning theory are the distribution-free model in which examples are chosen from a fixed but arbitrary distribution, and the ...
Avrim Blum
VTC
2010
IEEE
183views Communications» more  VTC 2010»
14 years 8 months ago
Joint Subcarrier and Power Allocation for an OFDMA Relay Network with Multicells
—In this paper, we propose a new resource allocation scheme for an OFDMA relay network with multicells. In the proposed scheme, by sharing the channel state information (CSI) bet...
Dongwook Choi, Dongwoo Lee, Jae Hong Lee
INFOCOM
2007
IEEE
15 years 4 months ago
Ranking-Based Optimal Resource Allocation in Peer-to-Peer Networks
—This paper presents a theoretic framework of optimal resource allocation and admission control for peer-topeer networks. Peer’s behavioral rankings are incorporated into the r...
Yonghe Yan, Adel El-Atawy, Ehab Al-Shaer