On the impact of modelling choices for distributed information spread: - A comparative study

QEST - 6th International Conference on the Quantitative Evaluation of Systems

Volumn , Issue , 2009, Pages 41-50

  Bakhshi, Rena ^a   Fehnker, Ansgar ^b  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPARATIVE STUDIES; DISCRETE MODELS; DISTRIBUTED INFORMATION; DISTRIBUTED NETWORKS; DISTRIBUTED PROTOCOLS; FORMAL MODEL; GOSSIPING PROTOCOLS; LOCAL DATA; MODELLING FRAMEWORK; NONDETERMINISTIC BEHAVIOR; PROBABILISTIC MODELS; RANDOM SUBSETS; SCHEDULING POLICIES; SHUFFLING ALGORITHM; STATE-SPACE EXPLOSION;

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; MATLAB; MODEL CHECKING;

PEER TO PEER NETWORKS;

EID: 74049107361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2009.37     Document Type: Conference Paper

References (14)

1. D. Gavidia, S. Voulgaris, and M. van Steen, "A gossip-based distributed news service for wireless mesh networks," in Proc. Conf. on Wireless On-demand Network Systems & Services (WONS'06). IEEE, 2006, pp. 59-67.
2. R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen, "An analytical model of information dissemination for a gossip-based protocol," Computer Networks, 2009, in Press. An early version appeared in [14].
3. S. Voulgaris, D. Gavidia, and M. van Steen, "Cyclon: Inexpensive membership management for unstructured p2p overlays," J. Network and Systems Management, vol. 13, no. 2, pp. 197-217, 2005.
4. M. Jelasity, R. Guerraoui, A.-M. Kermarrec, and M. van Steen, "The peer sampling service: Experimental evaluation of unstructured gossip-based implementations," in Proc. ACM/IFIP/USENIX Conf. on Middleware (Middleware'04), ser. LNCS, vol. 3231. Springer, 2004, pp. 79-98.
5. M. Jelasity, A. Montresor, G. P. Jesi, and S. Voulgaris, "PeerSim: A peer-to-peer simulator," http://peersim.sourceforge.net/.
6. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, "PRISM: A Tool for Automatic Verification of Probabilistic Systems," in Proc. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), ser. LNCS, vol. 3920. Springer, 2006, pp. 441-444.
7. G. Forsythe, M. Malcolm, and C. Moler, Computer Methods for Mathematical Computations. 1977: Prentice-Hall, New Jersey.
8. T. G. Kurtz, Approximation of population processes, ser. CBMS-NSF Regional Conference Series in Applied Mathematics. SIAM, 1981, vol. 36.
9. R. Darling and J. Norris, "Differential equation approximations for Markov chains," Probab. Surveys, vol. 5, pp. 37-79, 2008.
10. A. Fehnker and P. Gao, "Formal verification and simulation for performance analysis for probabilistic broadcast protocols," in Proc. Conf. on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06), ser. LNCS, vol. 4104. Springer, 2006, pp. 128-141.
11. F. Bonnet, "Performance analysis of Cyclon, an inexpensive membership management for unstructured P2P overlays." Master Thesis, ENS Cachan Bretagne, University of Rennes, IRISA, 2006.
12. M. Kwiatkowska, G. Norman, and D. Parker, "Analysis of a gossip protocol in PRISM," SIGMETRICS Perform. Eval. Rev., vol. 36, no. 3, pp. 17-22, 2008.
13. R. Bakhshi, L. Cloth, W. Fokkink, and B. R. Haverkort, "Mean-field analysis for the evaluation of gossip protocols," SIGMETRICS Perform. Eval. Rev., vol. 36, no. 3, pp. 31-39, 2008.
14. R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen, "An analytical model of information dissemination for a gossip-based protocol," in Proc. Conf. on Distributed Computing and Networking (ICDCN'09), ser. LNCS, vol. 5408. Springer, 2009, pp. 230-242.