loading...
PEPS2007 - Stochastic Automata Networks Software Tool
Edinburgh, Scotland, UK September 17-September 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2007.33Fourth International Conference on th ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Leonardo Brenner, LIG-ENSIMAG-ZIRST
Paulo Fernandes, PUCRS, Brazil
Brigitte Plateau, LIG-ENSIMAG-ZIRST
Ihab Sbeity, LIG-ENSIMAG-ZIRST
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.