• DocumentCode
    1948465
  • Title

    GTAexpress: A Software Package to Handle Kronecker Descriptors

  • Author

    Czekster, Ricardo M. ; Fernandes, Paulo ; Webber, Thais

  • Author_Institution
    FACIN -PPGCC, Comput. Sci. Dept., PUCRS, Porto Alegre, Brazil
  • fYear
    2009
  • fDate
    13-16 Sept. 2009
  • Firstpage
    281
  • Lastpage
    282
  • Abstract
    This paper presents a software package, called GTAexpress, to handle structured continuous-time Markovian models expressed using generalized tensor algebra, also known as, Kronecker descriptors. The proposed software package has the most advanced methods to provide stationary and transient solutions as well as some basic structural properties of models represented as a sum of generalized tensor products. Other software tools already provide some approaches based on tensor representation, like, PEPS and SMART. However, such tools are bounded to a specific modeling formalism. The basic idea of GTAexpress is to provide Kronecker descriptor-based solutions that can be easily used as a package in new tools or as a library in the existing high-level formalisms tools.
  • Keywords
    Markov processes; mathematics computing; software packages; software tools; tensors; GTAexpress; Kronecker descriptors; continuous-time Markovian models; software package; software tools; tensor representation; Algebra; Automata; Packaging; Software libraries; Software packages; Software tools; State-space methods; Stochastic processes; Storage area networks; Tensile stress; Kronecker descriptors; Numerical solution;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
  • Conference_Location
    Budapest
  • Print_ISBN
    978-0-7695-3808-2
  • Type

    conf

  • DOI
    10.1109/QEST.2009.26
  • Filename
    5290659