default search action
10. EPEW 2013: Venice, Italy
- Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin:
Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings. Lecture Notes in Computer Science 8168, Springer 2013, ISBN 978-3-642-40724-6
Invited Talks
- Vittorio Cortellessa:
Performance Antipatterns: State-of-Art and Future Perspectives. 1-6 - Claudio E. Palazzi:
Online Game Performance Engineering. 7-12
Full Papers
- Farah Aït-Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, Nihal Pekergin:
Stochastic Bounds and Histograms for Network Performance Analysis. 13-27 - Arwa Aldhalaan, Daniel A. Menascé:
Analytic Performance Modeling and Optimization of Live VM Migration. 28-42 - Jasen Markovski:
Towards Supervisory Control of Generally-Distributed Discrete-Event Systems. 43-57 - Yang Zhao, Gianfranco Ciardo
:
Tackling Truncation Errors in CSL Model Checking through Bounding Semantics. 58-73 - Andreas Brunnert
Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications. 74-88 - András Mészáros, Miklós Telek
Canonical Representation of Discrete Order 2 MAP and RAP. 89-103 - Marco Bernardo, Luca Tesei:
Encoding Timed Models as Uniform Labeled Transition Systems. 104-118 - Gábor Horváth, Hiroyuki Okamura:
A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure. 119-133 - Catalina M. Lladó, Connie U. Smith:
PMIF+: Extensions to Broaden the Scope of Supported Models. 134-148 - Vojtech Horký, Frantisek Haas, Jaroslav Kotrc, Martin Lacina, Petr Tuma:
Performance Regression Unit Testing: A Case Study. 149-163 - Philipp Reinecke, Tilman Krauß, Katinka Wolter:
Phase-Type Fitting Using HyperStar. 164-175 - Laura Carnevali, Marco Paolieri
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. 176-190 - Peter G. Harrison
Performance Enhancement by Means of Task Replication. 191-205 - Elvio Gilberto Amparore, Susanna Donatelli:
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. 206-220 - Davide Cerotti, Marco Gribaudo
End-to-End Performance of Multi-core Systems in Cloud Environments. 221-235 - Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi:
Performance Analysis and Formal Verification of Cognitive Wireless Networks. 236-250
Short papers
- Tiberiu S. Chis
Sliding Hidden Markov Model for Evaluating Discrete Data. 251-262 - Robert Vaupel, Qais Noorshams, Samuel Kounev, Ralf H. Reussner
Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System z. 263-275 - Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. 276-287 - Vittoria De Nitto Persone, Andrea Di Lonardo:
An Approximate Mean Value Analysis Approach for System Management and Overload Control. 288-299 - Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante:
Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML. 300-311 - Davide Arcelli, Vittorio Cortellessa, Davide Di Ruscio
Applying Model Differences to Automate Performance-Driven Refactoring of Software Models. 312-324 - Iryna Tsimashenka, William J. Knottenbelt:
Reduction of Subtask Dispersion in Fork-Join Systems. 325-336 - Bozena Wozna-Szczesniak
SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. 337-349
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: