@inproceedings{eb2ab689591d4a0e9809731a24887a3f,
title = "An efficient disk-based tool for solving very large markov models",
abstract = "Very large Markov models often result when modeling realistic computer systems and networks. We describe a new tool for solving large Markov models on a typical engineering workstation. This tool does not require any special properties or a particular structure in the model, and it requires only slightly more memory than what is necessary to hold the solution vector itself. It uses a disk to hold the state-transition-rate matrix, a variant of block Gauss-Seidel as the iterative solution method, and an innovative implementation that involves two parallel processes: the first process retrieves portions of the iteration matrix from disk, and the second process does repeated computation on small portions of the matrix. We demonstrate its use on two realistic models: a Kanban manufacturing system and the Courier protocol stack, which have up to 10 million states and about 100 million nonzero entries. The tool can solve the models efficiently on a workstation with 128 Mbytes of memory and 4 Gbytes of disk.",
author = "Deavours, {Daniel D.} and Sanders, {William H.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 9th International Conferences on Modeling Techniques and Tools for Computer Performance Evaluation, 1997 ; Conference date: 03-06-1997 Through 06-06-1997",
year = "1997",
doi = "10.1007/BFb0022197",
language = "English (US)",
isbn = "9783540631019",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "58--71",
editor = "Raymond Marie and Brigitte Plateau and Gerardo Rubino and Maria Calzarossa",
booktitle = "Computer Performance Evaluation",
address = "Germany",
}