Perfect simulation and non-monotone Markovian systems
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Statistical Model Checking Using Perfect Simulation
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Perfect sampling of load sharing policies in large scale distributed systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Steady state property verification of very large systems
International Journal of Critical Computer-Based Systems
Steady-state property verification: a comparison study
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
Markovian networks of finite capacity queues are widely used models for performance evaluation of systems and networks. Unfortunately, excepted in some specific situations, these models are not tractable analytically [2]. Approximation techniques, aggregation, fluidification have been proposed to capture the behavior such systems. But, in most complex cases, simulation remains the only tool to estimate the steady state of the system.