Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB62-UILU-ENG-06-2211-CRHC-06-07_opt.pdf (4MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Author(s):Derisavi, Salem
Subject(s):Continuous time Markov chains
Symbolic data structures
Matrix diagrams
Multi-valued decision diagrams
Ordinary and exact lumping
Compositional lumping
Symbolic state-space exploration
Design of tools for performance/dependability assessment
Numerical analysis
Splay trees
Computational complexity
Issue Date:2006-06
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-06-2211, CRHC-06-07
Genre:Report
Type:Text
Language:English
URI:http://hdl.handle.net/2142/88529
Sponsor:National Science Foundation / 9975019 and CCR-00-86096
Date Available in IDEALS:2015-12-10


This item appears in the following Collection(s)

Item Statistics