Performance Analysis of Distributed Systems Using TIPP - a Case Study
暂无分享,去创建一个
Holger Hermanns | Michael Rettelbach | Vassilis Mertsiotakis | H. Hermanns | M. Rettelbach | V. Mertsiotakis
[1] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[2] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[3] Jean-Michel Fourneau,et al. PEPS: A Package for Solving Complex Markov Models of Parallel Systems , 1989 .
[4] Peter Buchholz,et al. Protocol Analysis Using a Timed Version of SDL , 1990, FORTE.
[5] Marco Ajmone Marsan,et al. A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.
[6] T. Y. WilliamJ,et al. Numerical Methods in Markov Chain Modeling , 1992, Operational Research.
[7] Norbert Götz,et al. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.
[8] Harry Rudin,et al. From Formal Protocol Specification Towards Automated Performance Prediction , 1983, Protocol Specification, Testing and Verification.
[9] Bruno Müller-Clostermann,et al. MACOM - A TOOL FOR THE MARKOVIAN ANALYSIS OF COMMUNICATION SYSTEMS , 1991 .
[10] Holger Hermanns,et al. Markovian Processes Go Algebra , 1994 .
[11] Ram Chakka,et al. Application and Evaluation of the Spectral Expansion Solution Method , 1993 .
[12] Christoph Lindemann. An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.
[13] Markus Siegle. Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.
[14] Norbert Götz,et al. TIPP - Introduction and Application to Protocol Performance Analysis , 1992, FBT.
[15] Iso. Lotos,et al. A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .
[16] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[17] Paul J. Schweitzer,et al. Aggregation Methods for Large Markov Chains , 1983, Computer Performance and Reliability.