Abstract is missing.
- Performance Antipatterns: State-of-Art and Future PerspectivesVittorio Cortellessa. 1-6 [doi]
- Online Game Performance EngineeringClaudio E. Palazzi. 7-12 [doi]
- Stochastic Bounds and Histograms for Network Performance AnalysisFarah Aït-Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin. 13-27 [doi]
- Analytic Performance Modeling and Optimization of Live VM MigrationArwa Aldhalaan, Daniel A. Menascé. 28-42 [doi]
- Towards Supervisory Control of Generally-Distributed Discrete-Event SystemsJasen Markovski. 43-57 [doi]
- Tackling Truncation Errors in CSL Model Checking through Bounding SemanticsYang Zhao, Gianfranco Ciardo. 58-73 [doi]
- Automatic Performance Model Generation for Java Enterprise Edition (EE) ApplicationsAndreas Brunnert, Christian Vögele, Helmut Krcmar. 74-88 [doi]
- Canonical Representation of Discrete Order 2 MAP and RAPAndrás Mészáros, Miklós Telek. 89-103 [doi]
- Encoding Timed Models as Uniform Labeled Transition SystemsMarco Bernardo, Luca Tesei. 104-118 [doi]
- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special StructureGábor Horváth, Hiroyuki Okamura. 119-133 [doi]
- PMIF+: Extensions to Broaden the Scope of Supported ModelsCatalina M. Lladó, Connie U. Smith. 134-148 [doi]
- Performance Regression Unit Testing: A Case StudyVojtech Horky, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, Petr Tuma. 149-163 [doi]
- Phase-Type Fitting Using HyperStarPhilipp Reinecke, Tilman Krauß, Katinka Wolter. 164-175 [doi]
- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative AnalysisLaura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario. 176-190 [doi]
- Performance Enhancement by Means of Task ReplicationPeter G. Harrison, Zhan Qiu. 191-205 [doi]
- Improving and Assessing the Efficiency of the MC4CSLTA Model CheckerElvio Gilberto Amparore, Susanna Donatelli. 206-220 [doi]
- End-to-End Performance of Multi-core Systems in Cloud EnvironmentsDavide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi. 221-235 [doi]
- Performance Analysis and Formal Verification of Cognitive Wireless NetworksGian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi. 236-250 [doi]
- Sliding Hidden Markov Model for Evaluating Discrete DataTiberiu S. Chis. 251-262 [doi]
- Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System zRobert Vaupel, Qais Noorshams, Samuel Kounev, Ralf Reussner. 263-275 [doi]
- Performance Evaluation for Collision Prevention Based on a Domain Specific LanguageFreek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort. 276-287 [doi]
- An Approximate Mean Value Analysis Approach for System Management and Overload ControlVittoria De Nitto Persone, Andrea Di Lonardo. 288-299 [doi]
- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UMLLuca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante. 300-311 [doi]
- Applying Model Differences to Automate Performance-Driven Refactoring of Software ModelsDavide Arcelli, Vittorio Cortellessa, Davide Di Ruscio. 312-324 [doi]
- Reduction of Subtask Dispersion in Fork-Join SystemsIryna Tsimashenka, William J. Knottenbelt. 325-336 [doi]
- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed SystemsBozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. 337-349 [doi]