Computer Performance Engineering

Tagged Generalized Stochastic Petri Nets.- Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation.- Performance of Auctions and Sealed Bids.- Applying Symbolic Techniques to the Representation of Non-Markovian Models with Continuous PH Distributions.- Mean Value Analysis for a Class of PEPA Models.- Automatic Generation of Performance Analysis Results: Requirements and Demonstration.- Analytical Model of Traffic Compression in the UMTS Network.- From DFTs to PEPA: A Model-to-Model Transformation.- Passage-End Analysis.- Stochastic Monotonicity in Queueing Networks.- Fast Generation of Scale Free Networks with Directed Arcs.- A More Realistic Peer-to-Peer Grid Market Model.- Migrating Auctioneers on Internet Auctions for Improved Utility and Performance.- Analytical Model of the Soft Handoff Mechanism in the UMTS Network.- Analytical Model of TCP NewReno through a CTMC.- Packet Loss Analysis of Load-Balancing Switch with ON/OFF Input Processes.- Approximate Analysis of a Round Robin Scheduling Scheme for Network Coding.- Analysis of Large Populations of Interacting Objects with Mean Field and Markovian Agents.