Pages that link to "Item:Q4427332"
From MaRDI portal
The following pages link to Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models (Q4427332):
Displaying 12 items.
- Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors (Q433452) (← links)
- Model-checking large structured Markov chains. (Q1400291) (← links)
- Block SOR for Kronecker structured representations (Q1434413) (← links)
- Symbolic state-space exploration and numerical analysis of state-sharing composed models (Q1434418) (← links)
- Compact representation of solution vectors in Kronecker-based Markovian analysis (Q1693109) (← links)
- Lumpable continuous-time stochastic automata networks. (Q1810536) (← links)
- Two-layer symbolic representation for stochastic models with phase-type distributed events (Q2792888) (← links)
- Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models (Q2822659) (← links)
- Analyzing Markov Chains using Kronecker Products (Q2888773) (← links)
- On Vector-Kronecker Product Multiplication with Rectangular Factors (Q3449795) (← links)
- Computational Probability for Systems Biology (Q3506863) (← links)
- Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets (Q6600065) (← links)