4075 search results - page 707 / 815 » Modeling Distributed Algorithm Using B |
109
click to vote
PVM
2009
Springer
15 years 11 months 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...
116
Voted
GROUP
2009
ACM
15 years 11 months 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...
120
Voted
SAC
2006
ACM
15 years 10 months 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...
167
Voted
SIGCOMM
2005
ACM
15 years 10 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...
138
click to vote
PDCAT
2005
Springer
15 years 10 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...