A pattern-based approach to model software performance
Proceedings of the 2nd international workshop on Software and performance
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Process algebra for performance evaluation
Theoretical Computer Science
Using an architecture description language for quantitative analysis of real-time systems
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Formalizing Software Architectures for Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
A Performance Engineering Case Study: Software Retrieval System
Performance Engineering, State of the Art and Current Trends
Compositional Performance Modelling with TIPPtool
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Hi-index | 0.00 |
Abstract: We consider the dependability of programs of an iterative nature. The dependability of software structures is usually analysed using models that are strongly limited in their realism by the assumptions made to obtain mathematically tractable ...