1833 search results - page 171 / 367 » Mechanized Verification with Sharing |
172
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Resource sharing on the Internet is becoming increasingly pervasive. Recently, there is growing interest in distributed systems such as peer-to-peer and grid, with effor...
152
click to vote
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
We present a system for allocating resources in shared data and compute clusters that improves MapReduce job scheduling in three ways. First, the system uses regulated and user-as...
180
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper introduces a buffer occupancy -based admission control mechanism aimed to counter link congestion while fairly sharing the bandwidth in converged IP and broadcasting...
207
click to vote
ISCC
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— Interactive and other delay-sensitive applications are interested in keeping end-to-end delays of their packets minimal. Unfortunately, congestion control offered by Tr...
168
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...