Performance analysis of an asynchronous multi-rate crossbar with bursty traffic
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
Exact Parametric Analysis of Stochastic Petri Nets
IEEE Transactions on Computers
Asymptotically optimal importance sampling for product-form queuing networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Efficient decomposition methods for the analysis of multi-facility blocking models
Journal of the ACM (JACM)
Monte Carlo summation and integration applied to multiclass queuing networks
Journal of the ACM (JACM)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A performance model for ATM switches with general packet length distributions
IEEE/ACM Transactions on Networking (TON)
Admission-control policies for multihop wireless networks
Wireless Networks
Towards a polynomial-time randomized algorithm for closed product-form networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Architectural modeling in industry—an experience report
Proceedings of the 20th international conference on Software engineering
Multivariate Rational Approximants for Multiclass Closed Queuing Networks
IEEE Transactions on Computers
Rational Approximants for Some Performance Analysis Problems
IEEE Transactions on Computers
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Approximate MVA for Client-Server Systems with Nonpreemptive Priority
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Mean Value Analysis: a Personal Account
Performance Evaluation: Origins and Directions
Product Form Queueing Networks
Performance Evaluation: Origins and Directions
Performance Modelling of Interaction Protocols in Soft Real-Time Design Architectures
Performance Engineering, State of the Art and Current Trends
Queueing Analysis of Pools in Soft Real-Time Systems
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
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
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
A fixed-point algorithm for closed queueing networks
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Hi-index | 0.03 |