See this document in CiteSeerX!

The Peps Software Tool (2003)  (Make Corrections)  (2 citations)
Anne Benoit, Leonardo Brenner, Paulo Fernandes Brigitte Plateau, and...



  Home/Search   Context   Related

 
View or download:
homepages.inf.ed.ac.u...tools03peps.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  homepages.inf.ed.a...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Peps is a software package for solving very large Markov models expressed as Stochastic Automata Networks (SAN). The SAN formalism de nes a compact storage scheme for the transition matrix of the Markov chain and it uses tensor algebra to handle the basic vector matrix multiplications. Among the diverse application areas to which Peps may be applied, we cite the areas of computer and communication performance modeling, distributed and parallel systems and nite capacity queueing... (Update)

Cited by:   More
Aggregation of Stochastic Automata Networks with Replicas - Benoit, Brenner.. (2003)   (Correct)
Aggregation Of Stochastic Automata Networks With Replicas - Benoit, Brenner.. (2004)   (Correct)

Active bibliography (related documents):   More   All
0.6:   PEPS-2000 User manual - The Peps Team (2000)   (Correct)
0.4:   Triangular Solution of Linear Systems in Tensor Product Format - Fernandes, Plateau   (Correct)
0.3:   Performance Measure Sensitive Congruences for Markovian.. - Bernardo, Bravetti (2001)   (Correct)

Related documents from co-citation:   More   All
2:   Optimizing tensor product computations in stochastic automata networks - Fernandes, Plateau et al. - 1998
2:   Introduction to the numerical solution of Markov chains (context) - Stewart - 1994
2:   Exploiting Symmetries in Stochastic Process Algebras - Hermanns, Ribaudo - 1998

BibTeX entry:   (Update)

A. Benoit, L. Brenner, P. Fernandes, B. Plateau, W. J. Stewart, The PEPS software tool, in: P. Kemper, W.H. Sanders (Eds.), 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS, Urbana-Champaign, Illinois, USA, 2003. http://citeseer.ist.psu.edu/734867.html   More

@misc{ benoit03peps,
  author = "A. Benoit and L. Brenner and P. Fernandes and B. Plateau and W. Stewart",
  title = "The PEPS software tool",
  text = "A. Benoit, L. Brenner, P. Fernandes, B. Plateau, W. J. Stewart, The PEPS
    software tool, in: P. Kemper, W.H. Sanders (Eds.), 13th International Conference
    on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS,
    Urbana-Champaign, Illinois, USA, 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/734867.html" }
Citations (may not include all citations):
525   Iterative Methods for Sparse Linear Systems (context) - Saad - 1995
265   Introduction to the Numerical Solution of Markov Chains (context) - Stewart - 1994
80   the Stochastic Structure of Parallelism and Synchronization .. (context) - Plateau - 1985
49   A Methodology for Solving Markov Models of Parallel Systems (context) - Fourneau, Plateau - 1991
43   PEPS: A Package for Solving Complex Markov Models of Paralle.. (context) - Plateau, Fourneau et al. - 1988
22   A Data Structure for the Ecient Kronecker Solution of GSPNs (context) - Ciardo, Miner - 1999
19   Introduction to Queueing Networks (context) - Gelenbe, Pujolle - 1997
11   Stochastic Reward Nets for Reliability Prediction - Muppala, Ciardo et al. - 1994
10   Ecient Descriptor-Vector Multiplication in Stochastic Automa.. (context) - Fernandes, Plateau et al. - 1998
5   Modelling with Generalized Stochastic Petri Nets (context) - Ajmone-Marsan, Balbo et al. - 1995
5   marca: Markov Chain Analyzer (context) - Stewart - 1976
4   A Compositional Approach for Performance Modelling (context) - Hillston - 1994
3   An Uni ed Approach for Specifying Measures of Performance (context) - Sanders, Meyer - 1991
3   Superposed Stochastic Automata: a Class of Stochastic Petri .. (context) - Donnatelli - 1993
2   Stochatic Automata Networks for Modeling Parallel Systems (context) - Atif, Plateau - 1991
1   De l'Evaluation du Parellelisme et de la Synchronisation (context) - Plateau - 1984
1   Software Tool (context) - team - 2003
1   Memory-ecient Kronecker algorithms with applications to the .. (context) - Benoit, Plateau et al. - 2003
1   eriques pour la Solution de Systemes Markoviens a Grand Es.. (context) - Fernandes, ethodes - 1998
1   line document available httpjava (context) - The, Interface et al. - 2003

Documents on the same site (http://homepages.inf.ed.ac.uk/abenoit1/research/publications.html):   More
Flexible Skeletal Programming with eSkel - Anne Benoit Murray   (Correct)
Aggregation Of Stochastic Automata Networks With Replicas - Benoit, Brenner.. (2004)   (Correct)
Enhancing the effective utilisation of Grid clusters by .. - On-Line Performability ..   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC