On Communicating Finite-State Machines
Journal of the ACM (JACM)
Hidden Markov modeling for network communication channels
Proceedings of the 2001 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Model-Checking Algorithms for Continuous-Time Markov Chains
IEEE Transactions on Software Engineering
The analysis of packet loss prediction for Gilbert-model with loss rate uplink
Information Processing Letters
QBDs with Marked Time Epochs: a Framework for Transient Performance Measures
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Modeling the short-term dynamics of packet losses
ACM SIGMETRICS Performance Evaluation Review
CSL model checking algorithms for QBDs
Theoretical Computer Science
Improving end-to-end quality-of-service in online multi-player wireless gaming networks
Computer Communications
Model checking infinite-state markov chains
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Performance analysis for (X,S)-bottleneck cell in large-scale wireless networks
Information Processing Letters
Hi-index | 0.89 |
The performance analysis of packet loss in end-to-end communication channel is the basis of adaptive end-to-end protocol design. However, existing analytical models of packet loss cannot provide quantitative information of lossy channel systems. In this paper, an analysis on balance state of end-to-end communication channel over probabilistic lossy communication networks (PLCN) is performed firstly. We then discuss the process of modeling end-to-end communication channel over PLCN using Quasi Birth-Death models (QBDs) in detail. Finally, some characteristics of end-to-end communication channel, such as the stability of channel and the performance of channel packet loss, are analyzed. The experimental results show that the proposed model can analyze quantitatively the stability of end-to-end communication channel and the packet loss probability during time interval [0,t]. The results in the work are helpful for designing adaptive end-to-end communication protocols.