The PEPS software tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2794, Issue , 2003, Pages 98-115

  Benoit, Anne ^a   Brenner, Leonardo ^b   Fernandes, Paulo ^b   Plateau, Brigitte ^a   Stewart, William J ^c  

^a GRENOBLE INSTITUTE OF TECHNOLOGY   (France)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

^c North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SOFTWARE; MARKOV PROCESSES; MATRIX ALGEBRA; QUEUEING NETWORKS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

COMMUNICATION PERFORMANCE MODEL; COMPACT STORAGES; DIVERSE APPLICATIONS; FINITE CAPACITY; NUMERICAL TECHNIQUES; STOCHASTIC AUTOMATA NETWORKS; TRANSITION MATRICES; VECTOR-MATRIX MULTIPLICATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 35248890976     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45232-4_7     Document Type: Article

References (20)

1. M. Ajmone-Marsan, G. Balbo, G. Conte, S. Donatelli, G. Pranceschinis. Modelling with Generalized Stochastic Petri Nets. John-Wiley, 1995.
2. K. Atif and B. Plateau. Stochatic Automata Networks for Modeling Parallel Systems. IEEE Transactions on Software Engineering, v.17, n.10, pp.1093-1108, 1991.
3. A. Benoit, B. Plateau and W.J. Stewart. Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems. To appear in PMEO-PDS'03, 2003.
4. G.F. Ciardo, A.S. Miner. A Data Structure for the Efficient Kronecker Solution of GSPNs. In: Proc. 8th International Workshop on Petri Nets and Performance Evaluation, 1999.
5. S. Donnatelli. Superposed Stochastic Automata: a Glass of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Performance Evaluation, v.18, pp.21-36, 1993.
6. P. Fernandes. Méthodes Numériques pour la Solution de Systèmes Markoviens à Grand Espace d'Etats. Thèse de doctorat, Institut National Polytechnique de Grenoble, France, 1998.
7. P. Fernandes, B. Plateau and W.J. Stewart. Efficient Descriptor-Vector Multiplication in Stochastic Automata Networks. Journal of the ACM, v.45, n.3, pp.381-414, 1998.
8. J. Fourneau, B. Plateau. A Methodology for Solving Markov Models of Parallel Systems. Journal of Parallel and Distributed Computing, v.12, pp.370-387, 1991.
9. E. Gelenbe, G. Pujolle. Introduction to Queueing Networks. John Wiley, 1997.
10. J. Hillston. A Compositional Approach for Performance Modelling. Ph.D. Thesis, University of Edinburg, United Kingdom, 1994.
11. J.K. Muppala, G.F. Ciardo, K.S. Trivedi. Stochastic Reward Nets for Reliability Prediction. Communications in Reliability, Maintainability and Serviceability, v.1, n.2, pp.9-20, 1994.
12. B. Plateau. De l'Evaluation du Parellélisme et de la Synchronisation. Thèse de Doctorat d'Etat, Paris-Sud, Orsay, France, 1984.
13. B. Plateau. On the Stochastic Structure of Parallelism and Synchronization Models for Distributed Algorithms. In: Proc. ACM Sigmetrics Conference on Measurement and Modeling of Computer Systems, Austin, Texas, 1985.
14. B. Plateau, J.M. Fourneau, K. Lee. PEPS: A Package for Solving Complex Markov Models of Parallel Systems. In: R. Puigjaner, D. Potier, eds. Modelling Techniques and Tools for Computer Performance Evaluation, 1988.
15. PEPS team. PEPS 2003 Software Tool. On-line document available at http://www-apache.imag.fr/software/peps, visited Feb. 14th, 2003.
16. Y. Saad. Iterative Methods for Sparse Linear Systems. PWS Publishing Company, 1995.
17. W.H. Sanders, J.F. Meyer. An Unified Approach for Specifying Measures of Performance, Dependability, and Performability. Dependable Computing for Critical Applications, v.4, pp.215-238, 1991.
18. W.J. Stewart. MARCA: Markov Chain Analyzer. IEEE Computer Repository No. R76 232, 1976.
19. W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
20. Sun Microsystems The JIT Compiler Interface Specification. On-line document available at http://java.sun.com/docs/jit_interface.html, visited Feb. 14th, 2003.