On time and space decomposition of complex structures
Communications of the ACM
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage
IEEE Transactions on Computers
Hybrid reliability modeling of fault-tolerant computer systems
Computers and Electrical Engineering - Special issue: reliability and verification of computing systems
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Weak D-Markov Chain and its Application to a Queueing Network
Proceedings of the International Workshop on Computer Performance and Reliability
Aggregation Methods for Large Markov Chains
Proceedings of the International Workshop on Computer Performance and Reliability
Reliability Evaluation for Fault-Tolerant Systems
Proceedings of the International Workshop on Computer Performance and Reliability
Analytic Queueing Models for Programs with Internal Concurrency
IEEE Transactions on Computers
Closed-Form Solutions of Performability
IEEE Transactions on Computers
The reduction of perturbed Markov generators: an algorithm exposing the role of transient states
Journal of the ACM (JACM)
IBM Journal of Research and Development
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models
IEEE Transactions on Software Engineering
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Dependability evaluation of a class of multi-loop topologies for local area networks
IBM Journal of Research and Development
Performability Analysis Using Semi-Markov Reward Processes
IEEE Transactions on Computers
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation
IEEE Transactions on Computers
X-Ware Reliability and Availability Modeling
IEEE Transactions on Software Engineering
A Unified Framework for Simulating Markovian Models of Highly Dependable Systems
IEEE Transactions on Computers
Availability of CAUTRA, a Subset of the French Air Traffic Control System
IEEE Transactions on Computers
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Performance of broadcast and unknown server (BUS) in ATM LAN emulation
IEEE/ACM Transactions on Networking (TON)
IEEE Transactions on Computers
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Hierarchical Stochastic Reward Net Solver Package
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Modeling the dependability of CAUTRA, a subset of the French air traffic control system
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Construction and stepwise refinement of dependability models
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Performability analysis of clustered systems with rejuvenation under varying workload
Performance Evaluation
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
Computational Probability for Systems Biology
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
A numerical aggregation algorithm for the enzyme-catalyzed substrate conversion
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 15.00 |
An approximation algorithm for systematically converting a stiff Markov chain into a nonstiff chain with a smaller state space is discussed in this paper. After classifying the set of all states into fast and slow states, the algorithm proceeds by further classifying fast states into fast recurrent subsets and a fast transient subset. A separate analysis of each of these fast subsets is done and each fast recurrent subset is replaced by a single slow state while the fast transient subset is replaced by a probabilistic switch. After this reduction, the remaining small and nonstiff Markov chain is analyzed by a conventional technique.