Limit search to available items
Book Cover
E-book
Author EPEW (Workshop) (10th : 2013 : Venice, Italy)

Title Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013 : proceedings / Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
Published Heidelberg : Springer, [2013]
©2013

Copies

Description 1 online resource (xii, 351 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 8168
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 8168.
LNCS sublibrary. SL 2, Programming and software engineering.
Contents Invited Talks. Performance Antipatterns: State-of-Art and Future Perspectives / Vittorio Cortellessa -- Online Game Performance Engineering / Claudio E. Palazzi -- Full Papers. Stochastic Bounds and Histograms for Network Performance Analysis / Farah Aït-Salaht [and others] -- Analytic Performance Modeling and Optimization of Live VM Migration / Arwa Aldhalaan and Daniel A. Menascé -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems / Jasen Markovski -- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics / Yang Zhao, Gianfranco Ciardo -- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications / Andreas Brunnert, Christian Vögele and Helmut Krcmar -- Canonical Representation of Discrete Order 2 MAP and RAP / András Mészáros and Miklós Telek -- Encoding Timed Models as Uniform Labeled Transition Systems / Marco Bernardo and Luca Tesei
A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure / Gábor Horváth and Hiroyuki Okamura -- PMIF+: Extensions to Broaden the Scope of Supported Models / Catalina M. Lladó and Connie U. Smith -- Performance Regression Unit Testing: A Case Study / Vojtěch Horký [and others] -- Phase-Type Fitting Using HyperStar / Philipp Reinecke, Tilman Krauß and Katinka Wolter -- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis / Laura Carnevali [and others] -- Performance Enhancement by Means of Task Replication / Peter G. Harrison and Zhan Qiu -- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker / Elvio Gilberto Amparore and Susanna Donatelli -- End-to-End Performance of Multi-core Systems in Cloud Environments / Davide Cerotti [and others] -- Performance Analysis and Formal Verification of Cognitive Wireless Networks / Gian-Luca Dei Rossi, Lucia Gallina and Sabina Rossi
Short papers. Sliding Hidden Markov Model for Evaluating Discrete Data / Tiberiu Chis -- Using Queuing Models for Large System Migration Scenarios -- An Industrial Case Study with IBM System z / Robert Vaupel [and others] -- Performance Evaluation for Collision Prevention Based on a Domain Specific Language / Freek van den Berg [and others] -- An Approximate Mean Value Analysis Approach for System Management and Overload Control / Vittoria De Nitto Personé and Andrea Di Lonardo -- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML / Luca Berardinelli [and others] -- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models / Davide Arcelli, Vittorio Cortellessa and Davide Di Ruscio -- Reduction of Subtask Dispersion in Fork-Join Systems / Iryna Tsimashenka and William J. Knottenbelt -- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems / Bożena Woźna-Szcześniak and Agnieszka Zbrzezny, Andrzej Zbrzezny
Summary This book constitutes the refereed post-proceedings of the 10th European Performance Engineering Workshop, EPEW 2013, held in Venice, Italy, in September 2013. The 16 regular papers presented together with 8 short papers and 2 invited talks were carefully reviewed and selected from 33 submissions. The Workshop aims to gather academic and industrial researchers working on all aspects of performance engineering. Original papers related to theoretical and methodological issues as well as case studies and automated tool support are solicited in the following areas: performance modeling and evaluation, system and network performance engineering, and software performance engineering
Bibliography Includes bibliographical references and index
Notes Online resource; title from PDF title page (SpringerLink, viewed October 2, 2013)
Subject Computer systems -- Evaluation -- Congresses
Computers -- Reliability -- Congresses
Formal methods (Computer science) -- Congresses
Computer systems.
Computer Systems
Computer systems
Computer systems -- Evaluation
Computers -- Reliability
Formal methods (Computer science)
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Balsamo, Maria Simonetta, editor
Knottenbelt, William J., editor
Marin, Andrea, 1976- editor.
ISBN 9783642407253
3642407250
3642407242
9783642407246