SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A structured approach to program optimization
IEEE Transactions on Software Engineering
The CAEDE performance analysis tool
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Visualization in network topology optimization
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Multiple-domain analysis methods
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
An overview of the capacity management process
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Process algebra for performance evaluation
Theoretical Computer Science
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
General distributions in process algebra
Lectures on formal methods and performance analysis
Trapper: Eliminating Performance Bottlenecks in a Parallel Embedded Application
IEEE Parallel & Distributed Technology: Systems & Technology
Performance Measurement Intrusion and Perturbation Analysis
IEEE Transactions on Parallel and Distributed Systems
Distributed Performance Monitoring: Methods, Tools, and Applications
IEEE Transactions on Parallel and Distributed Systems
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Hi-index | 0.00 |