DAC '72 Proceedings of the 9th Design Automation Workshop
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Analysis of system bottlenecks using a queueing network model
Proceedings of the SIGOPS workshop on System performance evaluation
An Analytic Model of a Multiprocessor System Including a Job Mix
An Analytic Model of a Multiprocessor System Including a Job Mix
Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics
Journal of the ACM (JACM)
Robustness of queuing network formulas
Journal of the ACM (JACM)
On time and space decomposition of complex structures
Communications of the ACM
Locking performance in centralized databases
ACM Transactions on Database Systems (TODS)
Bound hierarchies for multiple-class queuing networks
Journal of the ACM (JACM) - The MIT Press scientific computation series
Asymptotic expansions for closed Markovian networks with state-dependent service rates
Journal of the ACM (JACM)
RECAL—a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks
Journal of the ACM (JACM)
Analysis of a composite performance reliability measure for fault-tolerant systems
Journal of the ACM (JACM)
A model of file server performance for a heterogeneous distributed system
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
On Distributed Computations with Limited Resources
IEEE Transactions on Computers
Busy periods for subnetworks in stochastic networks: mean value analysis
Journal of the ACM (JACM)
A vertex-allocation theorem for resources in queuing networks
Journal of the ACM (JACM)
Mean Value Analysis for Blocking Queueing Networks
IEEE Transactions on Software Engineering
Simple Relationships Among Moments of Queue Lengths in Product form Queueing Networks
IEEE Transactions on Computers
Dynamic Transaction Routing in Distributed Database Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
A Queueing Network Model for a Distributed Database Testbed System
IEEE Transactions on Software Engineering
Approximate Analysis of Load Dependent General Queueing Networks
IEEE Transactions on Software Engineering
Application level modeling of parallel machines
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Design of partially replicated distributed database systems: an integrated methodology
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
PAM-a noniterative approximate solution method for closed multichain queueing networks
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Performance Analysis of Mass Storage Service Alternatives for Distributed Systems
IEEE Transactions on Software Engineering
An analytic model for parallel Gaussian elimination on a binary N-Cube architecture
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Product Form Approximations for Queueing Networks with Multiple Servers and Blocking
IEEE Transactions on Computers
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking
IEEE Transactions on Software Engineering
Central Server Models with Multiple Job Classes, State Dependent Routing, and Rejection Blocking
IEEE Transactions on Software Engineering
Survey of closed queueing networks with blocking
ACM Computing Surveys (CSUR)
Asymptotic expansion for large closed queuing networks
Journal of the ACM (JACM)
The representation of multistage interconnection networks in queuing models of parallel systems
Journal of the ACM (JACM)
Approximate MVA solutions with fixed throughput classes
ACM SIGMETRICS Performance Evaluation Review
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets
IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
ICS '91 Proceedings of the 5th international conference on Supercomputing
Markovian Queueing Network Models for Performance Analysis of a Single-Bus Multiprocessor System
IEEE Transactions on Computers
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Asymptotic Expansions for Large Closed Queueing Networks with Multiple Job Classes
IEEE Transactions on Computers
Modeling distributed file systems
ACM SIGMETRICS Performance Evaluation Review
Single-class bounds of multi-class queuing networks
Journal of the ACM (JACM)
The mathematics of product form queuing networks
ACM Computing Surveys (CSUR)
HAP: a new model for packet arrivals
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
Asymptotically optimal importance sampling for product-form queuing networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Compiling performance models from parallel programs
ICS '94 Proceedings of the 8th international conference on Supercomputing
Arrival theorems for product-form stochastic Petri nets
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A case for reconfigurable parallel architectures for information retrieval
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Monte Carlo summation and integration applied to multiclass queuing networks
Journal of the ACM (JACM)
Visualizing performance in the frequency plane
ACM SIGMETRICS Performance Evaluation Review
A performance model for ATM switches with general packet length distributions
IEEE/ACM Transactions on Networking (TON)
A tree-structured mean value analysis algorithm
ACM Transactions on Computer Systems (TOCS)
Bounding delays in packet-routing networks
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Bounding errors introduced by clustering of customers in closed product-form queuing networks
Journal of the ACM (JACM)
Approximate Mean Value Analysis for Stochastic Marked Graphs
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
An interactive graphical modeling tool for performance and process simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
Reservation-based bandwidth allocation in a radio ATM network
IEEE/ACM Transactions on Networking (TON)
Variance reduction applied to product form multiclass queuing networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Efficient simulation of multiclass queueing networks
Proceedings of the 29th conference on Winter simulation
Load Balancing Problems for Multiclass Jobs in Distributed/Parallel Computer Systems
IEEE Transactions on Computers
Towards a polynomial-time randomized algorithm for closed product-form networks
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Bound Performance Models of Heterogeneous Parallel Processing Systems
IEEE Transactions on Parallel and Distributed Systems
Architectural modeling in industry—an experience report
Proceedings of the 20th international conference on Software engineering
ANSS '91 Proceedings of the 24th annual symposium on Simulation
A model, analysis, and protocol framework for soft state-based communication
Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Performance modelling of parallel computer architectures
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
Modeling multiprocessor computer systems with unbalanced flows
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
A BCMP extension to multiserver stations with concurrent classes of customers
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
An efficient algorithm for semi-homogeneous queueing network models
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
A generalization of mean value analysis to higher moments: moment analysis
SIGMETRICS '86/PERFORMANCE '86 Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Nonexponential networks of queues: a maximum entropy analysis
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On the applicability of using multiprogramming level distributions
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Multiclass queueing networks with population constrainted subnetworks
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Using CSIM to model complex systems
WSC '88 Proceedings of the 20th conference on Winter simulation
Application of the Diffusion Approximation to Queueing Networks I: Equilibrium Queue Distributions
Journal of the ACM (JACM)
A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions
Journal of the ACM (JACM)
Product Form and Local Balance in Queueing Networks
Journal of the ACM (JACM)
Regenerative Simulation of Response Times in Networks of Queues
Journal of the ACM (JACM)
Exact Aggregation in Exponential Queueing Networks
Journal of the ACM (JACM)
A Generalized Queueing Discipline for Product Form Network Solutions
Journal of the ACM (JACM)
Mean-Value Analysis of Closed Multichain Queuing Networks
Journal of the ACM (JACM)
Queuing Network Models with State-Dependent Routing
Journal of the ACM (JACM)
Sharing a Processor Among Many Job Classes
Journal of the ACM (JACM)
The Distribution of Queuing Network States at Input and Output Instants
Journal of the ACM (JACM)
A Finite-Source Queue with Different Customers
Journal of the ACM (JACM)
Dynamic Scaling and Growth Behavior of Queuing Network Normalization Constants
Journal of the ACM (JACM)
A Characterization of Product-Form Queuing Networks
Journal of the ACM (JACM)
The Product Form for Sojourn Time Distributions in Cyclic Exponential Queues
Journal of the ACM (JACM)
Frame caching in menu-driven Videotex systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Dynamic load sharing in distributed database systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A load index for dynamic load balancing
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
An overview of performance prediction in MVS systems and SNA networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Analysis and simulation of multiplexed single-bus networks with and without buffering
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Solving product form stochastic networks with Monte Carlo summation
WSC' 90 Proceedings of the 22nd conference on Winter simulation
On Performance Prediction of Parallel Computations with Precedent Constraints
IEEE Transactions on Parallel and Distributed Systems
The Operational Analysis of Queueing Network Models
ACM Computing Surveys (CSUR)
A Measurement Procedure for Queueing Network Models of Computer Systems
ACM Computing Surveys (CSUR)
Approximate Methods for Analyzing Queueing Network Models of Computing Systems
ACM Computing Surveys (CSUR)
A Queueing Network Model of MVS
ACM Computing Surveys (CSUR)
Queueing Network Modeling of Computer Communication Networks
ACM Computing Surveys (CSUR)
Queueing Networks: A Critique of the State of the Art and Directions for the Future
ACM Computing Surveys (CSUR)
Computational algorithms for state-dependent queueing networks
ACM Transactions on Computer Systems (TOCS)
Optimal routing in closed queuing networks
ACM Transactions on Computer Systems (TOCS)
Optimality of scheduling policy for processing a job stream
ACM Transactions on Computer Systems (TOCS)
The MVA priority approximation
ACM Transactions on Computer Systems (TOCS)
The coordinated use of five performance evaluation methodologies
Communications of the ACM
A tree convolution algorithm for the solution of queueing networks
Communications of the ACM
A spectral method for confidence interval generation and run length control in simulations
Communications of the ACM - Special issue on simulation modeling and statistical computing
Regression-adjusted estimates for regenerative simulations, with graphics
Communications of the ACM - Special issue on simulation modeling and statistical computing
On the asymptotic behavior of time-sharing systems
Communications of the ACM
ACM president's letter: performance analysis: experimental computer science as its best
Communications of the ACM
Computational algorithms for product form queueing networks
Communications of the ACM
Analysis of locking policies in database management systems
Communications of the ACM
The impact of distributions and disciplines on multiple processor systems
Communications of the ACM
The control of response times in multi-class systems by memory allocation
Communications of the ACM
Memory management and response time
Communications of the ACM
Hybrid simulation models of computer systems
Communications of the ACM
Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap
Communications of the ACM
Horner's rule for the evaluation of general closed queueing networks
Communications of the ACM
Statistical bandwidth sharing: a study of congestion at flow level
Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
Multivariate Rational Approximants for Multiclass Closed Queuing Networks
IEEE Transactions on Computers
Quality of service evaluations of multicast streaming protocols
SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Solution properties and convergence of an approximate mean value analysis algorithm
ACM SIGMETRICS Performance Evaluation Review
Exploiting structure in solution: decomposing compositional models
Lectures on formal methods and performance analysis
Queueing network models for concurrent transaction processing in a database system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Mobility and performance modeling in cellular communication networks
ACM SIGMOBILE Mobile Computing and Communications Review
Invariance of the Stationary Distribution of Networks with Bypasses and “Negative” Customers
Automation and Remote Control
Performance Modelling — What, Why, When and How
BT Technology Journal
Multiplicativity of Markov Chains with Multiaddress Routing
Problems of Information Transmission
Traffic Flows and Product Form Solutions in Stochastic Transfer Networks
Queueing Systems: Theory and Applications
Markov network processes with product form stationary distributions
Queueing Systems: Theory and Applications
State space collapse with application to heavy traffic limits for multiclass queueing networks
Queueing Systems: Theory and Applications
Product form stationary distributions for queueing networks with blocking and rerouting
Queueing Systems: Theory and Applications
Individual customer’s behaviour in networks with state-dependent arrival rates
Queueing Systems: Theory and Applications
On the correlation of sojourn times in open networks of exponential multiserver queues
Queueing Systems: Theory and Applications
Network of Single-Server Queues with Dependent Service Times
Queueing Systems: Theory and Applications
State-Dependent Coupling in General Networks
Queueing Systems: Theory and Applications
Performance Evaluation
Insensitivity in processor-sharing networks
Performance Evaluation
Interactive Visual Modeling for Performance
IEEE Software
The Circulating Processor Model of Parallel Systems
IEEE Transactions on Computers
A Unifying Framework for the Approximate Solution of Closed Multiclass Queuing Networks
IEEE Transactions on Computers
Performance Analysis of Long-Lived Transaction Processing Systems with Rollbacks and Aborts
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of Parallel Computer and Storage Systems
IEEE Transactions on Parallel and Distributed Systems
On the Exact and Approximate Throughput Analysis of Closed Queuing Networks with Blocking
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Product Form Solution for Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Product form solution for an insensitive stochastic process algebra structure
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Live Admission Control for Video Streaming
QoS-IP 2003 Proceedings of the Second International Workshop on Quality of Service in Multiservice IP Networks
Multiple Class G-Networks with Jumps back to Zero
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
G-Networks with Triggered Batch State-Dependent Movement
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Approximate Analysis of Multi-Class Synchronized Closed Queueing Networks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Asymptotics of the Partition Function in Large Closed BCMP Networks with Bottlenecks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Performance Evaluation in Industry: A Personal Perspective
Performance Evaluation: Origins and Directions
Performance of Client/Server Systems
Performance Evaluation: Origins and Directions
From the Central Server Model to BEST/1©
Performance Evaluation: Origins and Directions
Mean Value Analysis: a Personal Account
Performance Evaluation: Origins and Directions
Product Form Queueing Networks
Performance Evaluation: Origins and Directions
G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Experiments with Improved Approximate Mean Value Analysis Algorithms
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Queue-Shift Approximation Technique for Product-Form Queueing
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
The ProC/B Toolset for the Modelling and Analysis of Process Chains
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Performance Analysis of Secure Web Server Based on SSL
ISW '00 Proceedings of the Third International Workshop on Information Security
Workflow Simulation across Multiple Workflow Domains
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Arrival first queueing networks with applications in kanban production systems
Performance Evaluation
Entropy maximisation and open queueing networks with priorities and blocking
Performance Evaluation
Optimization of an internationally distributed air: ground airline telecommunication system
Computers and Operations Research
Performance of a shared packet wireless network with interactive data users
Mobile Networks and Applications
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
The MVA Pre-empt resume priority approximation
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
State space transformations in queueing network modeling
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Queueing network models of multimicrocomputer networks
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Modeling a new technique for accessing shared buses
Proceedings of the Computer Network Performance Symposium
Network modeling with bursty traffic and finite buffer space
Proceedings of the Computer Network Performance Symposium
Optimal routing in networks with flow-controlled virtual channels
Proceedings of the Computer Network Performance Symposium
Modular expansion in a class of homogeneous networks
Proceedings of the Computer Network Performance Symposium
A heterogeneous multiprocessor design and the distributed scheduling of its task group workload
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Distributed communicating media-a multitrack bus-capable of concurrent data exchanging
ISCA '81 Proceedings of the 8th annual symposium on Computer Architecture
Modeling and analysis of flow controlled packet switching networks
SIGCOMM '81 Proceedings of the seventh symposium on Data communications
Dimensioning of message-switched computer-communication networks with end-to-end window flow-control
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
The effects of CPU: I/O overlap on computer system configurations
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Effects of channel blocking on the performance of shared disk pack in a multi-computer system
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
An exact solution method for the general class of closed separable queueing networks
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Survey of analytic queueing network models of computer systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Field performance aids for IBM GSD systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
A model of Univac 1100/42 swapping
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The solution of separable queueing network models using mean value analysis
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Aggregation of stations in queueing network models of multiprogrammed computers
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Performance evaluation: Experimental computer science at its best
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A queueing network approach to the module allocation problem in distributed systems
SIGMETRICS '81 Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The impact of certain parameter estimation errors in queueing network models
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Computer capacity planning using queueing network models
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Response time distributions for a multi-class queue with feedback
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Aspects of software design analysis: Concurrency and blocking
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
Multitype multiprogramming: Probability models and numerical procedures
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Validation of a computer performance model of the exponential queuing network family
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
An analytic performance model of a multiprogrammed batch-timeshared computer
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Multi-queue scheduling of two tasks
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
On the convolution algorithm for separable queuing networks
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Probabilistic models of computer systems
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
Validation of a queueing model with classes of customers
SIGMETRICS '76 Proceedings of the 1976 ACM SIGMETRICS conference on Computer performance modeling measurement and evaluation
How to evaluate page replacement algorithms
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Analysis of demand paging policies with swapped working sets
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
Modelling and analysis of distributed software systems
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
When to stop a simulation run: A case study
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
A critical overview of computer performance evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the foundations of artificial workload design
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Performance of a DECnet based disk block server
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A new 'building block' for performance evaluation of queueing networks with finite buffers
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Efficient approximation for models of multiprogramming with shared domains
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Analysis of Queueing Network Models with population size constraints and delayed blocked customers
SIGMETRICS '84 Proceedings of the 1984 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Analysis of a time-sharing subsystem (A Preliminary Report)
SIGMETRICS '74 Proceedings of the 1974 ACM SIGMETRICS conference on Measurement and evaluation
Model of a multiprogrammed computer system with a multilevel memory hierarchy
ACM '77 Proceedings of the 1977 annual conference
Analysis of striping techniques in robotic storage libraries
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Aggregation and Disaggregation in Product Form Queueing Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Queueing network analysis: concepts, terminology, and methods
Journal of Systems and Software
Decomposition of Queueing Networks with Dependent Service and Negative Customers
Automation and Remote Control
ON THE STRUCTURE OF THE SPACE OF GEOMETRIC PRODUCT-FORM MODELS
Probability in the Engineering and Informational Sciences
ON TRUNCATION PROPERTIES OF FINITE-BUFFER QUEUES AND QUEUEING NETWORKS
Probability in the Engineering and Informational Sciences
TRANSIENT ANALYSIS OF PERMANENT CUSTOMERS IN A SINGLE-SERVER QUEUE WITH MIXED TRAFFIC
Probability in the Engineering and Informational Sciences
QUASI-PRODUCT FORM TO A MULTINODE QUEUEING SYSTEM WITH A COMMON EXPONENTIAL SETUP SERVER
Probability in the Engineering and Informational Sciences
Scalability and performance of an agent-based network management middleware
International Journal of Network Management
Analytical response time estimation in parallel relational database systems
Parallel Computing
Queueing networks approach for bandwidth estimation of smoothed VBR video streams
Performance Evaluation
On Stochastic Bounds for Monotonic Processor Sharing Networks
Queueing Systems: Theory and Applications
A survey on statistical bandwidth sharing
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: In memroy of Olga Casals
Automation and Remote Control
Compositional reversed Markov processes, with applications to G-networks
Performance Evaluation
Multiple class memory constrained queueing networks
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Fast approximate solution of multiprogramming models
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Extensions and computational aspects of an iterative method
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
SIGMETRICS '82 Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems
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
Network traffic behaviour in switched Ethernet systems
Performance Evaluation - Special issue: Distributed systems performance
Simultaneous resource possession in queueing models of computers
ACM SIGMETRICS Performance Evaluation Review
Characteristics of the COX-distribution
ACM SIGMETRICS Performance Evaluation Review
Speeding up computer system simulations using hierarchical modeling
ACM SIGMETRICS Performance Evaluation Review
An investigation of several mathematical models of queueing systems
ACM SIGMETRICS Performance Evaluation Review
Confidence intervals for queueing simulations of computer systems
ACM SIGMETRICS Performance Evaluation Review
Underload instabilities in packet networks with flow schedulers
IEEE/ACM Transactions on Networking (TON)
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Performance evaluation of UML software architectures with multiclass Queueing Network models
Proceedings of the 5th international workshop on Software and performance
Online model-based adaptation for optimizing performance and dependability
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Iterative algorithms for performance evaluation of closed network models
Performance Evaluation
Modeling parallel and distributed systems with finite workloads
Performance Evaluation - Performance modelling and evaluation of high-performance parallel and distributed systems
Performance Evaluation - Performance 2005
Separable equilibrium state probabilities via time reversal in Markovian process algebra
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
Bounding stationary results of Tandem networks with MAP input and PH service time distributions
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
A customer threshold property for closed finite queueing networks
Performance Evaluation
Analysis of Queuing Networks with Blocking under Active Queue Management Scheme
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 2
Approximate/perfect samplers for closed Jackson networks
WSC '05 Proceedings of the 37th conference on Winter simulation
A methodology for evaluating runtime support in network processors
Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Insensitive queueing models for communication networks
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Automated product-forms with Meercat
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Performance Evaluation of Packet Processing Architectures Using Multiclass Queuing Networks
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Performance evaluation of a DVB-H enabled mobile device system model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Performance analysis of an ingress switch in a JumpStart optical burst switching network
Performance Evaluation
A Continuum Model for a Re-entrant Factory
Operations Research
Performance bounds for feedforward queueing networks with upper-constrained inputs
Performance Evaluation
Exploiting nonstationarity for performance prediction
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
A computer architecture for large (distributed) data bases
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Stability of FIFO networks under adversarial models: State of the art
Computer Networks: The International Journal of Computer and Telecommunications Networking
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance
Journal of Management Information Systems
Modeling Bus Contention and Memory Interference in a Multiprocessor System
IEEE Transactions on Computers
Analytic Queueing Models for Programs with Internal Concurrency
IEEE Transactions on Computers
Measurement and Analysis of HYPERchannel Networks
IEEE Transactions on Computers
Approximate Models of Multiple Bus Multiprocessor Systems
IEEE Transactions on Computers
Markov Models for Multiple Bus Multiprocessor Systems
IEEE Transactions on Computers
Optimal Design of Multilevel Storage Hierarchies
IEEE Transactions on Computers
File Allocation in a Distributed Computer Communication Network
IEEE Transactions on Computers
Performance Optimization of a CSMA Protocol for Local Computer Networks
IEEE Transactions on Computers
On the Load Balancing Bus Accessing Scheme
IEEE Transactions on Computers
Load Redistribution Under Failure in Distributed Systems
IEEE Transactions on Computers
A Queueing Theory-Based Analytic Model of a Distributed Computer Network
IEEE Transactions on Computers
Queueing Network Models for Parallel Processing with Asynchronous Tasks
IEEE Transactions on Computers
A Closed-Form Solution for the Perfornance Analysis of Multiple-Bus Multiprocessor Systems
IEEE Transactions on Computers
A Simple Derivation of the MVA and LBANC Algorithms from the Convolution Algorithm
IEEE Transactions on Computers
Analysis and simulation of a model of multiprocessor networks
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A queuing network model for the management of berth crane operations
Computers and Operations Research
Queues in DOCSIS cable modem networks
Computers and Operations Research
Representing LCFSPR BCMP service center with Coxian service time by GSPN
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Bound analysis of closed queueing networks with workload burstiness
SIGMETRICS '08 Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Extending model transformations in the performance domain with a node modeling library
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Journal of Systems and Software
Interconnection networks with heterogeneous activity or finite buffers: beyond Jackson's theorem
Proceedings of the 11th communications and networking simulation symposium
Piecewise-linear networks with multimode service strategies
Automation and Remote Control
On Kelly networks with shuffling
Queueing Systems: Theory and Applications
Performance model of a multiprocessor interconnection network: theory and simulation
SpringSim '07 Proceedings of the 2007 spring simulaiton multiconference - Volume 1
Importance sampling in rate-sharing networks
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Agents and Peer-to-Peer Computing
Exact Asymptotic Analysis of Closed BCMP Networks with a Common Bottleneck
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
Multiclass G-Networks of Processor Sharing Queues with Resets
ASMTA '08 Proceedings of the 15th international conference on Analytical and Stochastic Modeling Techniques and Applications
CoMoM: class-oriented evaluation of multiclass models
ACM SIGMETRICS Performance Evaluation Review
A practical approach for performance-driven UML modelling of handheld devices - A case study
Journal of Systems and Software
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
EVALUATING PERFORMANCE OF FLOW LINE SYSTEMS WITH BLOCKING UNDER FUZZY ENVIRONMENTS
Cybernetics and Systems
A note on stable flow-equivalent aggregation in closed networks
Queueing Systems: Theory and Applications
A "calibration-prediction" technique for estimating computer performance
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
RESQ: a package for solution of generalized queueing networks
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
A queueing network model for the effect of data compression on system efficiency
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Performance evaluation of the MP/C
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
MEDOC: a methodology for designing and evaluating large-scale real-time systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
An application of exact linear algebra to capacity planning models
ACM Communications in Computer Algebra
An efficient analytical model for WiMAX networks with multiple traffic profiles
Mobility '08 Proceedings of the International Conference on Mobile Technology, Applications, and Systems
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
On the behavior of stable subnetworks in non-ergodic networks with unreliable nodes
Computer Networks: The International Journal of Computer and Telecommunications Networking
JMT: performance engineering tools for system modeling
ACM SIGMETRICS Performance Evaluation Review
Solving Semi-Open Queuing Networks
Operations Research
A new framework supporting the bottleneck analysis of multiclass queueing networks
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
User-friendly approach to capacity planning studies with Java modelling tools
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
On the Consolidation of Data-Centers with Performance Constraints
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Estimation of GoS Parameters in Intelligent Network
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Information Technology and Management
Short communication: Product-forms and functional rates
Performance Evaluation
International Journal of Information and Computer Security
The Effect on Throughput of Multiprocessing in a Multiprogramming Environment
IEEE Transactions on Computers
Analysis of round-robin variants: favoring newly arrived jobs
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Probabilistic models for access strategies to dynamic information elements
Performance Evaluation
Modelling the impact of virtual identities on communication infrastructures
Proceedings of the 5th ACM workshop on Digital identity management
Interactive modeling of computer systems
IBM Systems Journal
Queuing networks with population size constraints
IBM Journal of Research and Development
An extension of Moore's result for closed queuing networks
IBM Journal of Research and Development
Buffer overflow in a store-and-forward network node
IBM Journal of Research and Development
Stochastic modeling of processor scheduling with application to data base management systems
IBM Journal of Research and Development
Queuing networks with multiple closed chains: theory and computational algorithms
IBM Journal of Research and Development
Approximate analysis of central server models
IBM Journal of Research and Development
Study of memory partitioning for multiprogramming systems with virtual memory
IBM Journal of Research and Development
Parametric analysis of queuing networks
IBM Journal of Research and Development
Approximate analysis of general queuing networks
IBM Journal of Research and Development
Approximating pre-emptive priority dispatching in a multiprogramming model
IBM Journal of Research and Development
IBM contributions to computer performance modeling
IBM Journal of Research and Development
Approximate solution of queueing networks with simultaneous resource possession
IBM Journal of Research and Development
Erlang loss bounds for OT---ICU systems
Queueing Systems: Theory and Applications
Nash equilibrium based fairness
GameNets'09 Proceedings of the First ICST international conference on Game Theory for Networks
Predictive modelling of SAP ERP applications: challenges and solutions
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Process Algebraic Non-product-forms
Electronic Notes in Theoretical Computer Science (ENTCS)
A general result for deriving product-form solutions in markovian models
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
An analytical model for WiMAX networks with multiple traffic profiles and throttling policy
WiOPT'09 Proceedings of the 7th international conference on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks
Setwise and filtered gibbs samplers for teletraffic analysis
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Multicast scheduling with resource fairness constraints
Wireless Networks
Queueing networks with discrete time scale: explicit expressions for the steady state behavior of discrete time stochastic networks
A unified framework for the bottleneck analysis of multiclass queueing networks
Performance Evaluation
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
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
A unifying approach to product-forms in networks with finite capacity constraints
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
A joint moments based analysis of networks of MAP/MAP/1 queues
Performance Evaluation
Product form approximations for communicating Markov processes
Performance Evaluation
Differentiating the performance of systems more reliably
Performance Evaluation
Queuing models for peer-to-peer systems
IPTPS'09 Proceedings of the 8th international conference on Peer-to-peer systems
A predictive and probabilistic load-balancing algorithm for cluster-based web servers
Applied Soft Computing
Asymptotic analysis of closed queueing networks and its implications to achievable service levels
ACM SIGMETRICS Performance Evaluation Review
Networks of symmetric multi-class queues with signals changing classes
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Product-form solutions for models with joint-state dependent transition rates
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
The qnetworks toolbox: a software package for queueing networks analysis
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
A numerical algorithm for the solution of product-form models with infinite state spaces
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
State-dependent rates and semi-product-form via the reversed process
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
A generalized method of moments for closed queueing networks
Performance Evaluation
Performance prediction of service-oriented systems with layered queueing networks
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
IO performance prediction in consolidated virtualized environments
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Performance engineering with product-form models: efficient solutions and applications
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Quantitative system evaluation with Java modeling tools
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
A multi-class closed queueing maintenance network model with a parts inventory system
Computers and Operations Research
Exact analysis of performance models by the Method of Moments
Performance Evaluation
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
Survivability modeling with stochastic reward nets
Winter Simulation Conference
Queueing networks with blocking: analysis, solution algorithms and properties
Network performance engineering
Valuation of Storage at a Liquefied Natural Gas Terminal
Operations Research
Synthesis and analysis of product-form petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On superlinear scaling of network delays
IEEE/ACM Transactions on Networking (TON)
Latency and saturation in networks with finite buffers
Proceedings of the 14th Communications and Networking Symposium
Queuing network of scale free topology: on modelling large scale network
The Journal of Supercomputing
Dimensioning the contention channel of DOCSIS cable modem networks
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
SystemQ: a queuing-based approach to architecture performance evaluation with systemc
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Performance engineering and stochastic modelling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Modellus: Automated modeling of complex internet data center applications
ACM Transactions on the Web (TWEB)
TwoEagles: a model transformation tool from architectural descriptions to queueing networks
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Tools for performance evaluation of computer systems: historical evolution and perspectives
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
From the origins of performance evaluation to new green ICT performance engineering
PERFORM'10 Proceedings of the 2010 IFIP WG 6.3/7.3 international conference on Performance Evaluation of Computer and Communication Systems: milestones and future challenges
Fluid limits of queueing networks with batches
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Predico: a system for what-if analysis in complex data center applications
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Methodological construction of product-form stochastic Petri nets for performance evaluation
Journal of Systems and Software
Performance models with product form steady-state distributions
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Research: Performance of end-to-end flow control in LAN/WAN interconnection
Computer Communications
Deterministic algorithm for VP assignment in ATM networks
Computer Communications
Flow control in message-switched communications networks
Computer Communications
Dimensioning of message-switched computer communications networks with end-to-end flow control
Computer Communications
Steady-state analysis of rate-controlled data transport in ATM Local Area Networks
Computer Communications
Modeling and analysis of multiple-class tandem queuing systems with finite capacities
Mathematical and Computer Modelling: An International Journal
Uniqueness of the solution for optimal static routing in open BCMP queueing networks
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Cost optimization in the (S-1,S) lost sales inventory model with multiple demand classes
Operations Research Letters
Queueing systems with resource sharing
Journal of Systems and Software
An approximation for a multiclass./M/1/FIFO queue imbedded in a closed Queueing Network
Journal of Systems and Software
The solution of homogeneous queueing networks with many job classes
Journal of Systems and Software
Simulation of an Apollo network in order to evaluate response-time speedup of parallel algorithms
Journal of Systems and Software
On the product-form solution of a class of multiple-bus multiprocessor system models
Journal of Systems and Software
A decomposition approach for the stationary analysis of fault tolerant queueing systems
Journal of Systems and Software
'Stop = recirculate' for exponential product form queueing networks with departure blocking
Operations Research Letters
On the improvement from scheduling a two-station queueing network in heavy traffic
Operations Research Letters
Delay performance in stochastic processing networks with priority service
Operations Research Letters
The equivalence between processor sharing and service in random order
Operations Research Letters
Dependence structure of sojourn times via partition separated ordering
Operations Research Letters
International Journal of Communication Systems
Finite source blocking systems with multi-level active and idle periods
Operations Research Letters
An improved balanced job bound analysis of closed queuing networks
Operations Research Letters
Perspectives on network calculus: no free lunch, but still good value
Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication
Analysis of stochastic Petri nets with signals
Performance Evaluation
Perspectives on network calculus: no free lunch, but still good value
ACM SIGCOMM Computer Communication Review - Special october issue SIGCOMM '12
Dynamic resource provisioning for cloud-based gaming infrastructures
Computers in Entertainment (CIE) - Theoretical and Practical Computer Applications in Entertainment
Product-form results for two-station networks with shared resources
Performance Evaluation
Algorithmic product-form approximations of interacting stochastic models
Computers & Mathematics with Applications
Predico: a system for what-if analysis in complex data center applications
Proceedings of the 12th International Middleware Conference
Investigating coupling patterns in state-space models for system reliability
Proceedings of the Winter Simulation Conference
The performance of public key-based authentication protocols
NSS'12 Proceedings of the 6th international conference on Network and System Security
Solving general multi-class closed queuing networks using parametric decomposition
Computers and Operations Research
Analytical modeling for what-if analysis in complex cloud computing applications
ACM SIGMETRICS Performance Evaluation Review
Automatic, load-independent detection of performance regressions by transaction profiles
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Closed Queueing Networks Under Congestion: Nonbottleneck Independence and Bottleneck Convergence
Mathematics of Operations Research
Heavy-traffic revenue maximization in parallel multiclass queues
Performance Evaluation
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science
Automatica (Journal of IFAC)
Software contention aware queueing network model of three-tier web systems
Proceedings of the 5th ACM/SPEC international conference on Performance engineering
Performance models of storage contention in cloud environments
Software and Systems Modeling (SoSyM)
Efficiency of simulation in monotone hyper-stable queueing networks
Queueing Systems: Theory and Applications
Synthesis and Analysis of Product-form Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
| Hi-index | 0.29 |