|
19 September, 2005 | - QEST'05 tutorial day
- Workshop: FIRB-Perf Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems |
20 September, 2005 | QEST'05 conference day 1
- Invited talk of Pierpaolo Degano
- Petri nets and process algebras
- Lumpability/bisimulation
- Work-in-progress and tool presentations
|
21 September, 2005 | QEST'05 conference day 2
- Invited talk of Invited talk of Leana Golubchik
- Workload characterization/measurements
- Markovian models
- Model checking
|
22 September, 2005 | QEST'05 conference day 3
- Invited talk of Thomas Sterling
- Architecture measurements/modeling
- Markov chains/importance sampling
|
23 September, 2005 | Workshop: PMCCS day 1 |
24 September, 2005 | Workshop: PMCCS day 2 |
|