Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007) Edinburgh, Scotland, UK September 17-September 19 ISBN: 0-7695-2883-X
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.33
PEPS is a tool package for modeling and solving models expressed in Stochastic Automata Networks (SAN). The SAN formalism defines a compact storage scheme for the transition matrix of the Markov chain and it uses tensor algebra to handle the basic vector matrix multiplications. This paper presents a short timeline of PEPS previous versions and the new features included in version 2007.
Citation:
Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity, "PEPS2007 - Stochastic Automata Networks Software Tool," qest, pp.163-164, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||