IEEE - Institute of Electrical and Electronics Engineers, Inc. - Measure-adaptive state-space construction

Proceedings of IPDS 2K: IEEE International Computer Performance and Dependability Symposium

Author(s): Obal, W.D., II ; Sanders, W.H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2000
Conference Location: Chicago, IL, USA
Conference Date: 29 March 2000
Page(s): 25 - 34
ISBN (Paper): 0-7695-0553-8
ISSN (Paper): 1087-2191
DOI: 10.1109/IPDS.2000.839461
Regular:

Measure-adaptive state-space construction is the process of exploiting symmetry in high-level model and performance measure specifications to automatically construct reduced state-space Markov... View More

Advertisement