Program of the 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
DAY 0: Thursday, September 22, 2005 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3:45pm | Bus from QEST'05 venue to Villa Gualino (PMCCS-7 venue) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
8:00pm | DINNER at the Villa |
|
DAY 1: Friday, September
23, 2005
| 8:30am
|
Workshop Opening
| 8:40am
|
SESSION 1: Power-Aware Computing
|
| Session Chair: Boudewijn Haverkort
8:40am | Power-aware Resource
Allocation
via Online Simulation with Multiple-queue Backfilling |
Barry Lawson, Evgenia Smirni, Chuan Yue, Dimitris Nikolopoulos
|
| 9:00am Probabilistic
Model Checking and
Power-Aware Computing |
Marta Kwiatkowska, Gethin Norman, David Parker
|
9:20am | Predicting the
Functional/Performance Impact of Dynamic Power
Management, Part I |
M.Bernardo, A.Bogliolo, A.Acquaviva, A.Aldini, E.Bonta, E.Lattanzi
|
9:40am | Predicting the
Functional/Performance Impact of Dynamic Power
Management, Part II |
M.Bernardo, A.Bogliolo, A.Acquaviva, A.Aldini, E.Bonta, E.Lattanzi
|
| 10:00am Discussion
on SESSION 1
|
10:30am |
| COFFEE BREAK 11:00am |
| SESSION 2: Model Checking
| Session Chair: Murray Woodside
|
11:00am | Automated Game Analysis via
Probabilistic Model Checking |
Paolo Ballarini, Michael Fisher, Michael Wooldridge
|
| 11:20am Hyperbolic
PDEs for CSRL Model
Checking: A Dej`a Vu |
Lucia Cloth, Boudewijn R. Haverkort
|
11:40am | Beyond Model-Checking CSL for
QBDs: Resets, Batches and Rewards |
Anne Remke, Boudewijn R. Haverkort
|
|
12:00am | Discussion on SESSION 2
| 12:30pm |
| LUNCH 2:30pm |
| SESSION 3: Distribution Fitting / Reward Models
| Session Chair: Andras Horvath
2:30pm | Toward Fitting General
Distributions within PEPA Terms |
Nil Geisweiller
|
| 2:50pm Numerical behavior of the
moment based estimation algorithms |
Arpad Tari, Miklos Telek
|
3:10pm | The Performability
Distribution
for Nonhomogeneous Markov-Reward Models |
Boudewijn R. Haverkort, Joost-Pieter Katoen
|
| 3:30pm Computing Bounds of the
Expected Cumulated Reward up to Absorption |
Ana Paula Couto da Silva, Gerardo Rubino
|
3:50pm | Discussion
on SESSION 3
| 4:20pm |
| COFFEE BREAK 4:50pm |
| SESSION 4: Petri Nets, Stochastic Automata, Stochastic Activity Networks
| Session chair: Andrea Bobbio
4:50pm | Removing Timed Delays in
Stochastic Automata |
Fida Kamal Dankar, Gregor v. Bochmann
| 5:10pm | Evaluation of a benchmark on
dynamic reliability via Fluid Stochastic Petri Nets |
Daniele Codetta-Raiteri, Andrea Bobbio
|
| 5:30pm Transforming
Stochastic Activity
Networks to continuous-time Markov decision processes |
Sven Johr
|
5:50pm | A graph of classes preserving
quantitative temporal constraints |
Janette Cardoso, Xiaoyu Mao, Robert Valette
|
|
8:00pm | DINNER at the Villa |
DAY 2: Saturday,
September 24, 2005
| 8:30am |
| SESSION 5: On-Line Performability Management Session Chair: William H. Sanders
8:30am | Issues in On-Line
Performability Modeling an Devaluation through the Model-Based Approach |
Andrea Bondavalli, Felicita di Giandomenico |
| 8:50am Evaluating
the performability of
systems with background jobs |
Qi Zhang, Alma Riska, Evgenia Smirni, Erik Riedel |
| 9:10am Performability
Optimization
using Linear Bounds of Partially Observable Markov Decision Processes |
Kaustubh R. Joshi, William H. Sanders
|
9:30am | Towards Performance-aware
Real-time Management for On-demand Computing Environments |
Stephen A. Jarvis, Graham R. Nudd, Daniel P. Spooner
| 9:50am Discussion
on SESSION 5
| 10:20pm |
| COFFE BREAK 10:40am |
| SESSION 6: Client/Resource/Service Models |
| Session Chair: Alma Riska
10:40am | A Short Investigation into
Underexplored Model for Retries |
Aad P. A. van Moorsel, Katinka Wolter
|
11:00am | Experimental Performability
Evaluation of Middleware for Large-Scale Distributed Systems |
Luis Soares, Jose Pereira
|
11:20am | A Composable Performance
Model for Service/Resource Systems |
Murray Woodside
|
11:40am | An Aggregation Approach to
Constructing Hybrid Layered Queueing Models |
Pengfei Wu, Murray Woodside
|
| 12:00am Discussion on SESSION 6
| 12:30pm |
| LUNCH
|
|