1833 search results - page 84 / 367 » Mechanized Verification with Sharing |
136
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Memory-intensive applications often suffer from the poor performance of disk swapping when memory is inadequate. Remote memory sharing schemes, which provide a remote memory that ...
145
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
Resource sharing within Grid collaborations usually implies specific sharing mechanisms at participating sites. Challenging policy issues can arise within virtual organizations (V...
175
click to vote
WELCOM
2001
Springer
15 years 8 months ago
2001
Springer
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
126
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a technique called producer-push that enhances the performance of a page-based software distributed shared memory system. Shared data, in software DSM systems...
138
click to vote
ACMICEC
2008
ACM
15 years 6 months ago
2008
ACM
Prior theory and empirical work emphasize the enormous free-riding problem facing peer-to-peer (P2P) sharing networks. Nonetheless, many P2P networks thrive. We explore two possib...