On the stochastic structure of paralielish and shnchronization models for distributed algorithms

Proceedings of the 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1985

Volumn , Issue , 1985, Pages 147-154

  Plateau, Brigitte ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; STOCHASTIC SYSTEMS;

DISTRIBUTED ENVIRONMENTS; MARKOV MODEL; MUTUAL EXCLUSION ALGORITHMS; STOCHASTIC STRUCTURE; TENSOR ALGEBRA;

STOCHASTIC MODELS;

EID: 84967578593     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/317795.317819     Document Type: Conference Paper

References (11)

1. M. Davio: "Kronecker products and shuffle algebra":, IEEE Transactions on Computers, vol C-30, no 2, Feb 81.
2. A. Chesnais, E. Gelenbe , I. Mitrani, "On the modelling of parallel access to shared data", Commgnications of the ACM , Mars 83, Vol. 26, no 3.
3. E Oelenbe, I. Mitrani : "Control policies in CSMA local area network: Ethcrnct control", Proc. of Sigmetrics Conference on Measurement and Modelling of Computer systems, 82]
4. G. Harrus: "Evaluation de problemes de communteat/ores dans los systemes repartis", These de troisieme cycle, Juillet 84, Universite de Paris-Sud.
5. N. Mazars: "De l'Independance and des depcndances stochastiques en thdorte de la fiabillte ", These de troiaie cycle. Universite Past Sabatier, Toulose, June 81.
6. I. Mitrani: "Fixed point approximation for distributed systems", Proc., Internatlonal Workshop on applied mathematics and performance reliabigity models of computer and communication systerns. Pise Sept 83.
7. M. Molloy: "Performance analysis using stochastic Petri Nets", IEEE Transactions on Computers, vol C-31, no 9, Sept 88,]
8. B. Plateau, A. Staphylopatis: "Modelling of the parallel resolution of a numerical problem on a locally tstributed computing system ", Proc, ACM Sigmetrics Conference on Measurement and Modelling of Computer systems, 81.
9. B. Plateau: "De l'évaluation du parallélisme and de la synchronisation", Thèse d'etat, Université de Paris-Steal, 91405 Orsay, France, Nov 1985.
10. G. Ricart, A. Agrawala. "An optimal algorithm for mutual exclusion in computer network", Communestions of he ACM, Vol 24, no l, Jan 81]
11. M. Vernon. E. de Souza e Silva, G. Estrin: " Performance evaluation of asynchronous concurrent systems: the UCLA Graph model ofbehavior", Proc. of Performance 83 Conference, Marryland, North Holland,]