default search action
7. EPEW 2010: Bertinoro, Italy
- Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa:
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings. Lecture Notes in Computer Science 6342, Springer 2010, ISBN 978-3-642-15783-7
Invited Papers
- Marco Roccetti, Gustavo Marfia:
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems. 1-16 - Lucia Kapová, Ralf H. Reussner:
Application of Advanced Model-Driven Techniques in Performance Engineering. 17-36
Network and Software Performance
- Samir Bellahsene, Leïla Kloul:
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks. 37-50 - Moreno Marzolla, Raffaela Mirandola:
Performance Aware Reconfiguration of Software Systems. 51-66 - Shikharesh Majumdar:
On the Energy-Performance Tradeoff for Parallel Applications. 67-82
Timed Models and Model Checking
- Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba:
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. 83-98 - Joseph Assouramou, Josée Desharnais:
Continuous Time and/or Continuous Distributions. 99-114 - Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen:
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report. 115-130
Case Studies
- Davide Cerotti, Marco Gribaudo, Andrea Bobbio, Carlos Miguel Tavares Calafate, Pietro Manzoni:
A Markovian Agent Model for Fire Propagation in Outdoor Environments. 131-146 - Patrick Bellasi, Adnan Faisal, William Fornaciari, Giuseppe Serazzi:
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs. 147-159 - Elena Gómez-Martínez, José Merseguer:
Performance Modeling and Analysis of the Universal Control Hub. 160-174
Model Solutions and Bounds
- Ricardo J. Rodríguez, Jorge Júlvez:
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing. 175-190 - Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin:
A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces. 191-206 - Nigel Thomas, Peter G. Harrison:
State-Dependent Rates and Semi-Product-Form via the Reversed Process. 207-218
Compositional Analysis
- Christoph Rathfelder, David Evans, Samuel Kounev:
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems. 219-235 - Elvio Gilberto Amparore, Susanna Donatelli:
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. 236-251 - Michael J. A. Smith:
Compositional Abstraction of PEPA Models for Transient Analysis. 252-267 - Sonja Georgievska, Suzana Andova:
Composing Systems While Preserving Probabilities. 268-283
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.