Performance Tools 2000

11th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation

09.00 Opening address
09.30 Invited talk ( Chair: B. Haverkort)
Mark Crovella. Performance Evaluation with Heavy Tailed Distributions: A Good News / Bad News Story.
10.30 Break
11.00 Tool presentations I ( Chair: A. van Moorsel)
12.00 Lunch
13.00 Queueing network models I ( Chair: R. Puigjaner)
P. Maly, C.M. Woodside. Layered Modeling of Hardware and Software, with Application to a LAN Extension Router.
M. Litoiu, J. Rolia. Object Allocation for Distributed Applications with Complex Workloads.
14.00 Stochastic Petri nets I ( Chair: G. Balbo)
R. German. Iterative Analysis of Markov Regenerative Models.
A. Horvath, A. Puliafito, M. Scarpa, M. Telek. Analysis and Evaluation of non-Markovian Stochastic Petri Nets.
15.00 Break
15.30 Simulation ( Chair: P. Buchholz)
B. Tuffin, K.S.Trivedi. Implementation of Importance Splitting techniques in SPNP.
J. Incera, R. Marie, D. Ros, G. Rubino. FluidSim: a tool to simulate fluid models of high-speed networks.
16.30-17.30 Mobile network optimisation ( Chair: R. Marie)
C. Bauer. Minimization of the impact of subscriber mobility on the resources of a GSM network.
M.D. Hamilton, I. Mitrani. Optimal allocation policies for mobile agents.

09.00 Invited talk ( Chair: R. Harper)
L. Alkalai. Dependable Spacecraft for Future Deep Space Explorations.
10.00 Break
10.30 Queueing networks II ( Chair: I. Mitrani)
R.M.M. Leao, E. de Souza e Silva, S.C. de Lucena. A Set of Tools for Traffic Modeling, Analysis and Experimentation.
C. Juiz, R. Puigjaner. Queueing Analysis of Pools in Soft Real-Time Systems.
P. Cremonesi, E. Rosti, G. Serazzi. Xaba: exact, approximate, and and asymptotic solvers for multi-class closed queueing networks.
12.00 Lunch
13.00 Formal methods & performance evalaution ( Chair: J.-P. Katoen)
G. Clark, S. Gilmore, J. Hillston, M. Ribaudo. Exploiting Modal Logic to Express Performance Measures.
P. King, R. Pooley. Derivation of Petri Net Performance Models from UML Specifications of Communications Software.
14.00 Tool presentations II ( Chair: A. van Moorsel)
15.00 Break
15.30 Tool demonstrations ( Chair: A. van Moorsel)
18.00 Visit to Chicago and Banquet

09.00 Measurement tools & applications ( Chair: C.M. Woodside)
P.H. Hughes, G. Brataas. Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications.
W. Karl, M. Schulz, J. Trinitis. Multilayer Online-Monitoring for Hybrid DSM systems on top of PC clusters with a SMiLE.
G.T. Paixao, W. Meira Jr., V.A.F. Almeida, D.A. Menasce, A.M. Pereira. Design and Implementaion of a Tool for Measuring the Performance of Complex E-Commerce Sites.
10.30 Break
11.00 Stochastic Petri nets II ( Chair: M. Telek)
A. Zimmerman, J. Freiheit, R. German, G. Hommel. Petri Net Modelling and Performability Evaluation with TimeNET 3.0.
S. Donatelli, P. Kemper. Integrating Synchronization with Priority into a Kronecker representation.
12.00 Lunch
13.00 Queueing network models III ( Chair: C. Smith)
A. Heindl. Decomposition of General Tandem Queueing Networks with MMPP input.
M. Meo, E. de Souza e Silva, M. Ajmone Marsan. Exact and Approximate Solutions for a Class of Infinite Markovian Models.
P.G. Harrison, C.M. Llado. Performance Evaluation of a Distributed Enterprise Data Mining System.
14.30 Break
15.00 Panel
16.30-17.00 Closing session

09.00 Parallel tutorials I ( Chair: S. Garg)
T. Norton. A practical approach to capacity modelling.
J. Luthi. Parameter uncertainties in performance and dependability models.
12.00 Lunch
13.00 Parallel tutorials II ( Chair: S. Garg)
J. Han, H. Levendel. Architecture availability certification centered around modelling: A gap in the system development process.
P. Buchholz. Analysis of large Markov chains based on Kronecker algebra.
17.00 Conference end

Haverkort/Bohnenkamp
2000-01-18