MSC PROJECT TOPICS 2001

• Queueing models of internet nodes
• burstiness
• correlated traffic
• negative arrivals
• theory and implementation
• validation against real internet measurements


• A new approach to analysing queueing networks
• using the above queue (existing results)


• Performance models using stochastic process algebra
• labelled transition systems
• analysis of derived state-graphs
• compositionality in their stochastic processes


• Markov reward processes and response time distributions
• solution algorithms
• parallel implementation


• Modelling of JavaBean schedulers
• queueing models
• simulation