Data structures for the analysis of large structured Markov models

Data structures for the analysis of large structured Markov models (2000)

Cached

Download Links

by Andrew S. Miner

Citations:

BibTeX

@MISC{Miner00datastructures,
    author = {Andrew S. Miner},
    title = {Data structures for the analysis of large structured Markov models },
    year = {2000}
}

Bookmark

OpenURL

Abstract

Citations

7321	Introduction to Algorithms - Cormen, Leiserson, et al. - 2001
2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1813	The Art of Computer Programming - Knuth - 1968
1195	Petri Nets: Properties, Analysis and Applications - Murata - 1989
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
792	Symbolic boolean manipulation with ordered binary decision diagrams - Bryant - 1992
620	Finite Markov Chains - Kemeny, Snell - 1976
488	L.J.: Symbolic model checking: 10 20 states and beyond - Burch, Clarke, et al. - 1992
483	WJ: Introduction to the numerical solution of Markov chains - Stewart - 1994
477	Matrix Iterative Analysis - Varga - 1962
473	Matrix Geometric Solutions in Stochastic Models. An Algorithmic Approach - Neuts - 1981
438	LaTeX: A Document Preparation System - Lamport - 1994
386	Dynamic Variable Ordering for Ordered Binary Decision Diagrams - Rudell - 1993
334	Self-adjusting binary search trees - SLEATOR, E - 1985
328	Introduction to Probability Models - Ross - 2010
298	Kommunikation mit Automaten - Petri - 1962
255	Results on the propositional µ-calculus - Kozen - 1983
234	A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems - Marsan, Balbo, et al. - 1984
197	Introduction to stochastic processes - Cinlar - 1975
180	Performance Analysis Using Stochastic Petri Nets - Molloy - 1982
154	An algorithm for the organization of information - Adelson-Velskii, Landis - 1962
145	Synthesis of communicating processes from temporal logic specifications - MANNA, WOLPER - 1981
136	Multiterminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods in System Design - Clarke, Fujita, et al. - 1997
110	On the stochastic structure of parallelism and synchronization models for distributed algorithms - Plateau - 1985
108	The art of computer programming. Volume 1 - Knuth - 1997
106	On variable ordering of binary decision diagrams for the application of multi-level logic synthesis - Fujita, Matsunaga, et al. - 1991
90	Decomposition Approach to Stochastic Reward Net Models - Ciardo, Trivedi - 1993
90	K.: Stochastic automata network for modeling parallel systems - Plateau, Atif - 1991
80	Petri net analysis using boolean manipulation - Pastor, Roig, et al. - 1994
78	Representation of switching circuits by binary-decision programs - Lee - 1959
73	Algorithms for discrete function manipulation - Srinivasan, Kam, et al. - 1990
72	Algorithms + Data Structures = Programs - Wirth - 1976
67	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net - Ciardo, German, et al. - 1994
59	A data structure for the efficient Kronecker solution of GSPNs - Miner, Ciardo - 1999
57	Superposed generalized stochastic Petri nets: Definition and efficient solution - Donatelli - 1994
57	Numerical analysis of superposed gspns - Kemper - 1996
56	Kronecker Products and Shuffle Algebra - Davio - 1981
55	Complexity of MemoryEfficient Kronecker Operations with Applications to the Solution of Markov Models - Buchholz, Ciardo, et al. - 2000
55	A methodology for solving Markov models of parallel systems - Plateau, Fourneau - 1991
54	Efficient descriptor-vector multiplications in stochastic automata networks - Fernandes, Plateau, et al. - 1998
53	Efficient Reachability Set Generation and Storage Using Decision Diagrams - Miner, Ciardo - 1999
52	Superposed Stochastic Automata: a class of stochastic Petri nets amenable to parallel solution - Donatelli - 1991
50	mixed networks of queues with different classes of customers - Open - 1975
49	Elementary Linear Algebra - Anton - 1991
48	Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time - Hermanns, Meyer-Kayser, et al. - 1999
48	A simple fast algorithm to obtain all invariants of a generalized Petri net - Martinez, Silva - 1981
44	M.: On the use of Kronecker operators for the solution of generalized stochastic Petri nets - Ciardo, Tilgner - 1996
41	Esp - A package for the evaluation of stochastic Petri nets with phasetype distributed transition times - Cumani - 1985
41	The numerical solution of stochastic automata networks, Europ - Stewart, Atif, et al. - 1995
40	On the integration of delay and throughput measures in distributed processing models - Molloy - 1981