A methodology for solving markov models of parallel systems

Journal of Parallel and Distributed Computing

Volumn 12, Issue 4, 1991, Pages 370-387

  Plateau, Brigitte ^a   Fourneau, Jean Michel ^b  

^a IMAG Groupe Calcul Parallé ^*  (France)

^b UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - COMPUTATIONAL LINGUISTICS; COMPUTER METATHEORY - COMPUTATIONAL COMPLEXITY; MATHEMATICAL TECHNIQUES - ALGORITHMS;

MARKOV MODELS; PARALLEL SYSTEMS PERFORMANCE EVALUATION; STOCHASTIC AUTOMATA NETWORK (SAN);

COMPUTER SYSTEMS, DIGITAL;

EID: 0026203351     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-7315(91)90007-V     Document Type: Article

References (20)

1. A calculus for protocol specification and validation
2. Mec: A system for constructing and analysing transition systems
3. An end to end approach to the resequencing problem
4. Queueing models for systems with synchronization constraints
5. Simple computable bounds for the fork join queues
6. A bcmp extension to multiserver stations with concurrent classes of customers
7. Greatspn 1.5 software architecture
8. Kronecker products and shuffle algebra
9. A class of generalized stochastic petri nets
10. Performance analysis using stochastic petri nets
11. Performance analysis of parallel processing systems
12. On the stochastic structure of parallelism and synchronization models for distributed algorithms
13. A method for handling complex markov models of parallel systems
14. Stochastic automata network for modelling parallel systems
15. An autograph primer
16. Réseaux de Files d Attente, Modélisation et Traitement Numérique
17. Performance analysis of multiprocessor cache consistency protocols using generalized timed petri nets