The new Y2K compliant TOOLS 2000 Logo

Performance Tools 2000

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

March 27 - 31, 2000, Motorola University, Schaumburg, Illinois, USA

Monday, March 27, 2000

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.

Tuesday, March 28, 2000

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

Wednesday, March 29, 2000

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

Thursday, March 30, 2000

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