Bristol CS Index ]
UKPEW'99
University of Bristol, UK
July 22-23 1999
Royal Fort House, University of Bristol

UKPEW'99 Presentations and Posters

POSTERS

Posters are generally A1, however the poster boards are capable of displaying a larger area than this if required. The poster session runs from 18:00 to 19:30 on the night of the 22nd, although posters can go on display earlier than this.

PRESENTATIONS

Presentations should be about 25 mins long. The following will be provided: an OHP, two flipcharts, a data projector connected to a computer with Adobe Acrobat Reader and Microsoft PowerPoint installed, and a big stick for pointing at things. If you require anything else - particularly software - please ask.

TIMETABLE

Wednesday 21st July
20:00-21:00 Registration
20:30-23:00 Conference bar open
Thursday 22nd July
08:45-09:00 Registration

09:00-10:30 Session 1

PPNAL: Performance Evaluation in an Algebraic Model for Probabilistic and Nondeterministic Processes; Fernando L Pelayo
Decomposition Technique and UltraSAN Software Tool for Performability Evaluation; Yudi Purwantoro
Using UML to Derive Stochastic Process Algebra Models; Rob Pooley
10:30-11:00 Coffee

11:00-12:30 Session 2

Formal Coupling of Software Components; John May
Using UML to Derive Stochastic Petri Net Models; Rob Pooley
Automating Performance Analysis of Neural Algorithms; Omer F Rana
12:30-13:30 Lunch

13:30-15:00 Session 3

A Queueing Network Model of Oracle Parallel Server; Uli Harder
Approximate Performance Evaluation of Distributed Memory Multithreaded Architectures; Wlodek M Zuberak
Information Theoretic Decomposition of GE-Type Closed Queueing Networks with Finite Capacity and Multiple Servers; Vassilios D Tsiantos
15:00-15:30 Tea

15:30-17:00 Session 4

Algebraic Semantics for Markovian Statecharts; Zbigniew Huzar
Measuring Improved Reliability in Stochastic Systems; Jeremy Bradley
Extending Quasi-Separability; Nigel Thomas
17:00-18:00 Break

18:00-19:30 Poster session and Reception

19:30 Conference Dinner

Friday 23rd July
08:30-10:30 Session 5
Investigating an On-Line Auction System Using PEPA; Leila Kloul
Kelly's Bound, RUAA and the Pricing of Multiclass Traffic in Loss Networks; Peter Reichl
On Markov Reward Modelling with Second Order FSPNs; Katinka Wolter
Can Fairness be made Transitive in Data Networks; Neil Davies
10:30-11:00 Coffee

11:00-13:00 Session 6

A Universal ME Solution for an M/G/1 Queue with Vacation Periods; Charalabos Skianis
Gang Scheduling in a Distributed System with Processor Failures; Helen D Karatza
Extensions to PEPA to Simplify the Creation of Component Libraries; P R Mitton
The Development of a Multi-State MMPP Queuing Model for High-Speed ATM Networks; S Y Yousef
13:00-14:00 Lunch

14:00-15:30 Final Session

A Feature Construct for PEPA; Stephen Gilmore
Compressed Video Streams: Network Constrained Smoothing; Chris Bewick
Reproducing Inter-process Synchronization for Performance Prediction using Lightweight System Call Tracing; Ariel Burton
15:30 Tea

POSTER PRESENTATIONS

Modelling and Performance Analysis of Cache Networks; George Bilchev

A Measurement Based Admission Control Mechanisms for Use with CBQ in Packet Switched Networks; Frank Ball, Phyllis Callinan

Modelling of ASCII High Performance Applications Using PACE; Junwei Cao

Ignoring Count Correlation in SRD Traffic: sGGeo Process vs Batch Bernoulli Process; George Dimakopoulos

Proposals for a Coherent Approach to Cooperation between TCP and ATM Congestion Control Algorithms; K Djemame

Comparative Analysis of Routing Algorithms in Wormhole Cube Networks; J D Ferguson

Parallel Pipeline to ATM: Graphical Simulation Techniques; M Fleury

Predicting Buffer Hit Ratios with Neural Networks; Uli Harder, Tim Macleod

On a Presentation of Petri Nets and Their Morphisms; Waldemar Korczynski

The Supervisory Control of Discrete Event Systems modeled by Petri net; Y M Li

On the Overhead Introduced by the Utilisation of an ORB; Catalina M Llado

Implementing Software On-Line Diagnostics in Safety Critical Systems; John Napier

A Risk-driven Performance Engineering Process Approach and its Evaluation with a Performance Engineering Maturity Model; Andre Scholz

Reducing RAM Requirements in Video-on-Demand Servers; Putra Sumari

Performance Engineering and Control of Computer Systems and Networks; Heinz Westphal

Jeremy Bradley, Last modified on Tuesday 20 July 1999 at 13:50