{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:40:56Z","timestamp":1729633256818,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2003.1213494","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T14:34:28Z","timestamp":1079966068000},"page":"8","source":"Crossref","is-referenced-by-count":1,"title":["Memory-efficient kronecker algorithms with applications to the modelling of parallel systems"],"prefix":"10.1109","author":[{"given":"A.","family":"Benoit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Plateau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.J.","family":"Stewart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","article-title":"Parallel Multiplication of a Vector by a Kronecker product of Matrices","volume":"2","author":"tadonki","year":"1999","journal-title":"J Parallel and Distributed Computing Practices"},{"journal-title":"Introduction to the Numerical Solution of Markov Chains","year":"1994","author":"stewart","key":"ref31"},{"key":"ref30","article-title":"MARCA: Markov chain analyzer, a software package for Markov modelling","author":"stewart","year":"1991","journal-title":"Numerical Solution of Markov Chains Marcel Dekker"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(98)00010-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)90025-P"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-58152-9_15","article-title":"Superposed Generalized Stochastic Petri nets: definition and efficient solution","volume":"815","author":"donatelli","year":"1994","journal-title":"Lecture Notes in Computer Science Application and Theory of Petri Nets 1994 Proceedings 15th International Conference"},{"journal-title":"Méthodes Numériques pour la solution de systèmes Markoviens à grand espace d'états","year":"1998","author":"fernandes","key":"ref13"},{"key":"ref14","first-page":"381","volume":"45","author":"fernandes","year":"1998","journal-title":"Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks"},{"key":"ref15","article-title":"PEPS: A package for solving complex Markov models of parallel systems","author":"fourneau","year":"1988","journal-title":"Fourth Int Conf on Modeling Techniques and Tools for Computer Performance Evaluation"},{"journal-title":"On Combining Functional Verification and Performance Evaluation using CADP Technical report","year":"2002","author":"garavel","key":"ref16"},{"journal-title":"Introduction to Queueing Networks","year":"1998","author":"gelenbe","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/78.175736"},{"key":"ref19","article-title":"Multi Terminal Binary Decision Diagram to Represent and Analyse Continuous Time Markov Chains","author":"hermanns","year":"2000","journal-title":"Proc 3rd int workshop on the numerical solution of Markov chains Prensas Universitarias de Zaragossa"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/49.64901"},{"key":"ref4","first-page":"261","article-title":"On the Representation of Probabilities over Structured Domains","volume":"1633","author":"bozga","year":"1999","journal-title":"Proc CAV'99"},{"journal-title":"Iterative methods for sparse linear systems","year":"1996","author":"saad","key":"ref27"},{"journal-title":"Memory Efficient Iterative Methods for Stochastic Automata Networks","year":"2001","author":"benoit","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.12.3.203.12634"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(91)90004-Q"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595539"},{"key":"ref8","article-title":"Efficient reachability set generation and storage using decision diagram","author":"ciardo","year":"1999","journal-title":"Proc 20th Int Conf Application and Theory of Petri Nets LNCS 1639"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796529"},{"key":"ref2","article-title":"On the Benefits of Using Functional Transitions in Kronecker Modelling","author":"benoit","year":"2002","journal-title":"submitted to Performance Evaluation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1997.595544"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(02)00133-5"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44804-7_2","article-title":"Faster and Symbolic CTMC Model Checking","author":"katoen","year":"2001","journal-title":"Lecture Notes in Computer Science 2165"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61363-3_15"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/32.541433"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953360"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"marsan","key":"ref23"},{"journal-title":"De l' Evaluation du Paralllisme et de La Synchronisation","year":"1984","author":"plateau","key":"ref26"},{"key":"ref25","first-page":"367","article-title":"Modeling Using Stochastic Reward Nets","author":"muppala","year":"1993","journal-title":"International Workshop on Modeling Analysis and Simulation of Computer and Telecommunication Systems MASCOT-94"}],"event":{"name":"International Parallel and Distributed Processing Symposium (IPDPS 2003)","acronym":"IPDPS-03","location":"Nice, France"},"container-title":["Proceedings International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8608\/27277\/01213494.pdf?arnumber=1213494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:26:02Z","timestamp":1497587162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213494\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2003.1213494","relation":{},"subject":[]}}