4075 search results - page 707 / 815 » Modeling Distributed Algorithm Using B |
138
click to vote
PVM
2009
Springer
16 years 27 days ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
139
click to vote
GROUP
2009
ACM
16 years 26 days ago
2009
ACM
A collaborative system must perform both processing and transmission tasks. We present a policy for scheduling these tasks on a single core that is inspired by studies of human pe...
142
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
197
click to vote
SIGCOMM
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces a lightweight, scalable and accurate framework, called Meridian, for performing node selection based on network location. The framework consists of an overla...
155
click to vote
PDCAT
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose a novel active queue management (AQM) scheme based on the Random Early Detection (RED) of the loss ratio and the total sending rate control, called LRC-R...