Description |
1 online resource (x, 219 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 5652 |
|
Lecture notes in computer science ; 5652.
|
Contents |
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 |
Summary |
This volume constitutes the refereed proceedings of the 6th European Performance Engineering Workshop, EPEW 2009, held in London, UK during July 9-10, 2009. The 13 full papers and 4 short papers presented in this volume, together with the abstract of one invited paper, were carefully reviewed and selected from 33 submissions. The papers deal with modeling of auctions and markets, hardware modeling of RAID systems, performance aspects of cellular and fixed-line networks, mean value analysis, stochastic ordering to queuing networks, extension of passage-time analysis, stochastic process algebra (PEPA), tagged customers in generalised stochastic Petri nets, and representation and analysis of generally-distributed stochastic systems |
Notes |
International conference proceedings |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Stochastic models -- Congresses
|
|
Computer systems -- Evaluation -- Congresses
|
|
Informatique.
|
|
Computer systems -- Evaluation
|
|
Formal methods (Computer science)
|
|
Stochastic models
|
|
Leistungsbewertung
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
|
Kongress.
|
|
London (2009)
|
Form |
Electronic book
|
Author |
Bradley, J. T. (Jeremy T.)
|
ISBN |
9783642029240 |
|
3642029248 |
|