212 search results - page 21 / 43 » Implementation of an Internet-controlled system under variab... |
118
Voted
SIGMETRICS
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we study the problem of utility maximization in P2P systems, in which aggregate application-specific utilities are maximized by running distributed algorithms on P2...
128
click to vote
CAV
2009
Springer
15 years 3 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
MOBISYS
2010
ACM
15 years 2 months ago
2010
ACM
We build an efficient and reliable data transport protocol on top of the Short Message Service (SMS). We conduct a series of experiments to characterize SMS behaviour under bursty...
DAC
2000
ACM
16 years 20 days ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
WDAG
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Allowing read operations to return stale data with low probability has been proposed as a means to increase availability in quorums systems. Existing solutions that allow...