Author:
Benoit Anne,Fernandes Paulo,Plateau Brigitte,Stewart William J.
Subject
Computer Networks and Communications,Hardware and Architecture,Modelling and Simulation,Software
Reference35 articles.
1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York, 1995.
2. A. Benoit, B. Plateau, W.J. Stewart, Memory efficient iterative methods for stochastic automata networks, IRISA Research Report Number 4259, INRIA Rhone-Alpes, 38330 Montbonnot-St-Martin, France, September 2001.
3. A. Benoit, B. Plateau, W.J. Stewart, Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems, in: Proceedings of the International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems (PMEO-PDS’03) at the International Parallel and Distributed Processing Symposium (IPDPS’03), IEEE Computer Society Press, Nice, France, April 2003.
4. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comp,1986
5. Symbolic boolean manipulation with ordered binary-decision diagrams;Bryant;ACM Comp. Surv,1992
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance Analysis and Optimization of the Vector-Kronecker Product Multiplication;2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD);2020-09
2. Kronecker Modeling and Analysis of Multidimensional Markovian Systems;Springer Series in Operations Research and Financial Engineering;2018
3. Preprocessing;Kronecker Modeling and Analysis of Multidimensional Markovian Systems;2018
4. Introduction;Kronecker Modeling and Analysis of Multidimensional Markovian Systems;2018
5. Modeling reliability of power systems substations by using stochastic automata networks;Reliability Engineering & System Safety;2017-01