Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
Lectures on formal methods and performance analysis
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Performance Analysis of Data Services over GPRS
HiPC '01 Proceedings of the 8th International Conference on High Performance Computing
COMPSAC '00 24th International Computer Software and Applications Conference
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Iterative Analysis of Markov Regenerative Models
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Analyzing reconfigurable algorithms for managing replicated data
Journal of Systems and Software
Performance modelling of computer networks
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
Journal of VLSI Signal Processing Systems
Application of deterministic and stochastic Petri-Nets for performance modeling of NoC architectures
Journal of Systems Architecture: the EUROMICRO Journal
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Modeling networking issues of network-on-chip: a coloured petri nets approach
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Statistical Performance Analysis and Estimation for Parallel Multimedia Processing
Journal of Signal Processing Systems
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
On the use of Petri nets for the computation of completion time distribution for short TCP transfers
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
PACS'02 Proceedings of the 2nd international conference on Power-aware computer systems
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
A component-based solution method for non-ergodic Markov regenerative processes
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Modeling noc architectures by means of deterministic and stochastic petri nets
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Modelling and analysis of the split phase multi-channel MAC approach
Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
From the Publisher:This text provides an up-to-date treatment of the fundamental techniques and algorithms for numerical analysis of deterministic and stochastic Petri nets, a particular stochastic modelling formalism, and the application of this modelling formalism to performance analysis for parallel computer architectures.