Efficient descriptor-vector multiplications in stochastic automata networks
From MaRDI portal
Publication:3158510
DOI10.1145/278298.278303zbMath1065.68578OpenAlexW1969620704WikidataQ114071314 ScholiaQ114071314MaRDI QIDQ3158510
Paulo Fernandes, William J. Stewart, Brigitte Plateau
Publication date: 25 January 2005
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00073764/file/RR-2935.pdf
Formal languages and automata (68Q45) Iterative numerical methods for linear systems (65F10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (22)
On Vector-Kronecker Product Multiplication with Rectangular Factors ⋮ Exploiting interleaving semantics in symbolic state-space generation ⋮ A compositional model to reason about end-to-end QoS in stochastic Reo connectors ⋮ The Kronecker product and stochastic automata networks ⋮ Formal techniques for performance analysis: blending SAN and PEPA ⋮ A Lanczos method for approximating composite functions ⋮ Efficient extraction of hierarchical B-splines for local refinement and coarsening of isogeometric analysis ⋮ Computational Probability for Systems Biology ⋮ Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors ⋮ Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations ⋮ Block SOR for Kronecker structured representations ⋮ Aggregation of stochastic automata networks with replicas ⋮ On the exact simulation of functionals of stationary Markov chains ⋮ Iterative component‐wise bounds for the steady‐state distribution of a Markov chain ⋮ Analysis of a large number of Markov chains competing for transitions ⋮ Fast simulation for Road Traffic Network ⋮ Kronecker representation and decompositional analysis of closed queueing networks with phase-type service distributions and arbitrary buffer sizes ⋮ Lumpable continuous-time stochastic automata networks. ⋮ Impact of Dampening Demand Variability in a Production/Inventory System with Multiple Retailers ⋮ Iterative methods based on splittings for stochastic automata networks ⋮ A Stochastic Automata Network Description for Spatial DNA-Methylation Models ⋮ Nowcasting with large Bayesian vector autoregressions
Uses Software
This page was built for publication: Efficient descriptor-vector multiplications in stochastic automata networks
