-
1
-
-
74049149126
-
Analysis of a gossip protocol in PRISM
-
M. Kwiatkowska, G. Norman, and D. Parker, "Analysis of a gossip protocol in PRISM," ACM SIGMETRICS Perform. Eval. Rev., vol. 36, no. 4, pp. 17-22, 2008.
-
(2008)
ACM SIGMETRICS Perform. Eval. Rev.
, vol.36
, Issue.4
, pp. 17-22
-
-
Kwiatkowska, M.1
Norman, G.2
Parker, D.3
-
2
-
-
78649464147
-
Applying formal methods to gossiping networks with mCRL and GROOVE
-
P. Crouzen, J. van de Pol, and A. Rensink, "Applying formal methods to gossiping networks with mCRL and GROOVE," ACM SIGMETRICS Perform. Eval. Rev., vol. 36, no. 3, pp. 7-16, 2008.
-
(2008)
ACM SIGMETRICS Perform. Eval. Rev.
, vol.36
, Issue.3
, pp. 7-16
-
-
Crouzen, P.1
Van De Pol, J.2
Rensink, A.3
-
3
-
-
74049107361
-
On the impact of modelling choices for distributed information spread. a comparative study
-
IEEE
-
R. Bakhshi and A. Fehnker, "On the impact of modelling choices for distributed information spread. a comparative study," in Conf. on Quantitative Evaluation of SysTems. IEEE, 2009, pp. 41-50.
-
(2009)
Conf. on Quantitative Evaluation of SysTems.
, pp. 41-50
-
-
Bakhshi, R.1
Fehnker, A.2
-
4
-
-
67650376785
-
Formal analysis techniques for gossiping protocols
-
R. Bakhshi, F. Bonnet, W. Fokkink, and B. R. Haverkort, "Formal analysis techniques for gossiping protocols," ACM SIGOPS Oper. Syst. Rev., vol. 41, no. 5, pp. 28-36, 2007.
-
(2007)
ACM SIGOPS Oper. Syst. Rev.
, vol.41
, Issue.5
, pp. 28-36
-
-
Bakhshi, R.1
Bonnet, F.2
Fokkink, W.3
Haverkort, B.R.4
-
5
-
-
63449139977
-
Differential equation approximations for Markov chains
-
R. Darling and J. Norris, "Differential equation approximations for Markov chains," Probab. Surveys, vol. 5, pp. 37-79, 2008.
-
(2008)
Probab. Surveys
, vol.5
, pp. 37-79
-
-
Darling, R.1
Norris, J.2
-
8
-
-
0001455869
-
The relationship between stochastic and deterministic models for chemical reactions
-
T. G. Kurtz, "The relationship between stochastic and deterministic models for chemical reactions," J. Chem. Phys., vol. 57, no. 7, pp. 2976- 2978, 1972.
-
(1972)
J. Chem. Phys.
, vol.57
, Issue.7
, pp. 2976-2978
-
-
Kurtz, T.G.1
-
10
-
-
74049089627
-
Mean-field analysis for the evaluation of gossip protocols
-
R. Bakhshi, L. Cloth, W. Fokkink, and B. Haverkort, "Mean-field analysis for the evaluation of gossip protocols," ACM SIGMETRICS Perform. Eval. Rev., vol. 36, no. 3, pp. 31-39, 2008.
-
(2008)
ACM SIGMETRICS Perform. Eval. Rev.
, vol.36
, Issue.3
, pp. 31-39
-
-
Bakhshi, R.1
Cloth, L.2
Fokkink, W.3
Haverkort, B.4
-
11
-
-
74049146187
-
Mean-field analysis for the evaluation of gossip protocols
-
IEEE
-
R. Bakhshi, L. Cloth, W. Fokkink, and B. R. Haverkort, "Mean-field analysis for the evaluation of gossip protocols," in Conf. on Quantitative Evaluation of SysTems. IEEE, 2009, pp. 247-256.
-
(2009)
Conf. on Quantitative Evaluation of SysTems
, pp. 247-256
-
-
Bakhshi, R.1
Cloth, L.2
Fokkink, W.3
Haverkort, B.R.4
-
12
-
-
70449627940
-
The age of gossip: Spatial mean field regime
-
A. Chaintreau, J.-Y. Le Boudec, and N. Ristanovic, "The age of gossip: spatial mean field regime," in Proc. ACM Conf. on Measurement and modeling of computer systems (SIGMETRICS), 2009, pp. 109-120.
-
(2009)
Proc. ACM Conf. on Measurement and Modeling of Computer Systems (SIGMETRICS
, pp. 109-120
-
-
Chaintreau, A.1
Le Boudec, J.-Y.2
Ristanovic, N.3
-
13
-
-
47949103963
-
A generic mean field convergence result for systems of interacting objects
-
IEEE
-
J.-Y. L. Boudec, D. McDonald, and J. Mundinger, "A generic mean field convergence result for systems of interacting objects," in Conf. on Quantitative Evaluation of SysTems. IEEE, 2007, pp. 3-18.
-
(2007)
Conf. on Quantitative Evaluation of SysTems
, pp. 3-18
-
-
Boudec, J.-Y.L.1
McDonald, D.2
Mundinger, J.3
-
14
-
-
56649102353
-
Analysis of large scale interacting systems by mean field method
-
IEEE
-
A. Bobbio, M. Gribaudo, and M. Telek, "Analysis of large scale interacting systems by mean field method," in Conf. on Quantitative Evaluation of SysTems. IEEE, 2008, pp. 215-224.
-
(2008)
Conf. on Quantitative Evaluation of SysTems
, pp. 215-224
-
-
Bobbio, A.1
Gribaudo, M.2
Telek, M.3
-
15
-
-
53649095038
-
A class of mean field interaction models for computer and communication systems
-
M. Benaïm and J.-Y. Le Boudec, "A class of mean field interaction models for computer and communication systems," Perform. Eval., vol. 65, no. 11-12, pp. 823-838, 2008.
-
(2008)
Perform. Eval.
, vol.65
, Issue.11-12
, pp. 823-838
-
-
Benaïm, M.1
Le Boudec, J.-Y.2
-
16
-
-
34247602959
-
Performance modeling of epidemic routing
-
X. Zhang, G. Neglia, J. Kurose, and D. Towsley, "Performance modeling of epidemic routing," Comput. Netw., vol. 51, no. 10, pp. 2867-2891, 2007.
-
(2007)
Comput. Netw.
, vol.51
, Issue.10
, pp. 2867-2891
-
-
Zhang, X.1
Neglia, G.2
Kurose, J.3
Towsley, D.4
-
17
-
-
70349684570
-
Distributed storage management of evolving files in delay tolerant ad hoc networks
-
IEEE
-
E. Altman, P. Nain, and J.-C. Bermond, "Distributed Storage Management of Evolving Files in Delay Tolerant Ad Hoc Networks," in Proc. of INFOCOM. IEEE, 2009, pp. 1431-1439.
-
(2009)
Proc. of INFOCOM
, pp. 1431-1439
-
-
Altman, E.1
Nain, P.2
Bermond, J.-C.3
-
18
-
-
78650759659
-
Relays, base stations, and meshes: Enhancing mobile networks with infrastructure
-
N. Banerjee, M. D. Corner, D. Towsley, and B. N. Levine, "Relays, base stations, and meshes: enhancing mobile networks with infrastructure," in Proc. ACM Conf. on Mobile computing and networking (MobiCom), 2008, pp. 81-91.
-
(2008)
Proc. ACM Conf. on Mobile Computing and Networking (MobiCom
, pp. 81-91
-
-
Banerjee, N.1
Corner, M.D.2
Towsley, D.3
Levine, B.N.4
-
20
-
-
60449103324
-
Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
-
ser. ENTCS, Elsevier
-
F. Ciocchetta, A. Degasperi, J. Hillston, and M. Calder, "Some Investigations Concerning the CTMC and the ODE Model Derived From Bio- PEPA," in Proc. Workshop on From Biology to Concurrency and Back (FBTC), ser. ENTCS, vol. 229, no. 1. Elsevier, 2009, pp. 145-163.
-
(2009)
Proc. Workshop on from Biology to Concurrency and Back (FBTC)
, vol.229
, Issue.1
, pp. 145-163
-
-
Ciocchetta, F.1
Degasperi, A.2
Hillston, J.3
Calder, M.4
-
21
-
-
77950862663
-
A fluid analysis framework for a markovian process algebra
-
article in Press
-
R. A. Hayden and J. T. Bradley, "A fluid analysis framework for a markovian process algebra," Theor. Comput. Sci., 2010, article in Press.
-
(2010)
Theor. Comput. Sci.
-
-
Hayden, R.A.1
Bradley, J.T.2
-
22
-
-
79953887147
-
A new tool for the performance analysis of massively parallel computer systems
-
ser. EPTCS, to appear
-
A. Stefanek, R. Hayden, and J. T. Bradley, "A new tool for the performance analysis of massively parallel computer systems," in Proc. Workshop on Quantitative Aspects of Programming Languages (QAPL), ser. EPTCS, 2010, to appear.
-
(2010)
Proc. Workshop on Quantitative Aspects of Programming Languages (QAPL)
-
-
Stefanek, A.1
Hayden, R.2
Bradley, J.T.3
-
24
-
-
33746627432
-
-
Master's thesis, Warsaw University and Vrije Universiteit Amsterdam
-
K. Iwanicki, "Gossip-based dissemination of time," Master's thesis, Warsaw University and Vrije Universiteit Amsterdam, 2005.
-
(2005)
Gossip-based Dissemination of Time
-
-
Iwanicki, K.1
|