• 
  Luciano Lenzini, Rene L. Cruz (Eds.): Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006. ACM 2006 ACM International Conference Proceeding Series 180 ISBN 1-59593-504-5

Queueing systems I

• 
  Dimitrios Filippopoulos, Helen D. Karatza: A two-class parallel queue with pure space sharing among rigid jobs and general service times. 2
• 
  Thu-Ha Dao-Thi, Jean Mairesse: Zero-automatic networks. 3
• 
  Arzad Alam Kherani: Sojourn times in (discrete) time shared systems and their continuous time limits. 4

Tools: performance predictions

• 
  Tomas Kalibera, Jakub Lehotsky, David Majda, Branislav Repcek, Michal Tomcanyi, Antonin Tomecek, Petr Tuma, Jaroslav Urban: Automated benchmarking and analysis tool. 5
• 
  Peter G. Harrison, Catalina M. Lladó, Ramón Puigjaner: A general performance model interchange format. 6
• 
  Edmundo de Souza e Silva, Ana Paula Couto da Silva, Antonio Augusto de Aragão Rocha, Rosa M. M. Leão, Flávio P. Duarte, Fernando J. S. Filho, Guilherme D. G. Jaime, Richard R. Muntz: Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment. 7

Network calculus

• 
  Jens B. Schmitt, Frank A. Zdarsky: The DISCO network calculator: a toolbox for worst case analysis. 8
• 
  Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea: A novel approach to scalable CAC for real-time traffic in sink-tree networks with aggregate scheduling. 9
• 
  Juan Echagüe, Vicent Cholvi: Worst case burstiness increase due to arbitrary aggregate multiplexing. 10

Numerical methods

• 
  Nail Akar, Khosrow Sohraby: Solving the single server semi-Markov queue with matrix exponential kernel matrices for interarrivals and services. 11
• 
  Vishesh Dhingra, Stephane Gaubert: How to solve large scale deterministic games with mean payoff by policy iteration. 12
• 
  You-Wei Wen, Wai-Ki Ching, Michael K. Ng: Fast solvers for queueing systems with negative customers. 13

Queueing systems II

• 
  Soohan Ahn, V. Ramaswami: Matrix-geometric algorithms for stochastic fluid flows. 14
• 
  Matthieu Jonckheere, Sem C. Borst: Stability of multi-class queueing systems with state-dependent service rates. 15
• 
  Alfredo García Hernández-Díaz, Pilar Moreno: Analysis and optimal control of a discrete-time queueing system under the (m, N)-policy. 16
• 
  Ho Woo Lee, Sahng Hoon Cheon, Se Won Lee: Performance of the MAP/G/1 queue under the dyadic control of workload and server idleness. 17

Simulation I

• 
  Jose Blanchet, Peter W. Glynn: Strongly efficient estimators for light-tailed sums. 18
• 
  Victor F. Nicola, Tatiana S. Zaburnenko: Efficient heuristics for the simulation of population overflow in series and parallel queues. 19
• 
  Jose Blanchet: Importance sampling and efficient counting of 0-1 contingency tables. 20
• 
  Pierre L'Ecuyer, Bruno Tuffin: Splitting with weight windows to control the likelihood ratio in importance sampling. 21

Application to communication systems

• 
  Andrew Zalesky: Optimizing an OBS scheduler buffer. 22
• 
  Yi Xie, Rocky K. C. Chang: Stability-constrained optimization for energy efficiency in polling-based wireless networks. 23
• 
  Georges Nogueira, Bruno Baynat, Ahmed Ziram: An Erlang-like law for GPRS/EDGE engineering and its first validation on live traffic. 24

Web system-oriented performance

• 
  Sugato Bagchi, Eugene Hung, Arun Iyengar, Norbert G. Vogl, Noshir Wadia: Capacity planning tools for web and grid environments. 25
• 
  Giovanni Pacifici, Wolfgang Segmuller, Mike Spreitzer, Asser N. Tantawi: Dynamic estimation of CPU demand of web traffic. 26
• 
  Mauro Andreolini, Sara Casolari: Load prediction models in web-based systems. 27

Simulation

• 
  Songjie Wei, Jelena Mirkovic: A realistic simulation of internet-scale events. 28
• 
  Sami J. Habib: A Monte Carlo simulator for evaluating server placement within network topology designs. 29
• 
  Toshiyuki Miyachi, Ken-ichi Chinen, Yoichi Shinoda: StarBED and SpringOS: large-scale general purpose network testbed and supporting software. 30
• 
  Ladislau Bölöni, Damla Turgut, Guoqiang Wang, Dan C. Marinescu: Challenges and benefits of time-parallel simulation of wireless ad hoc networks. 31

Petri nets - theory and application

• 
  Nimrod Lilith, Jonathan Billington, Jörn Freiheit: Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. 32
• 
  Anne Bouillard, Bruno Gaujal: Backward coupling in petri nets. 33
• 
  Jan Trowitzsch, Armin Zimmermann: Using UML state machines and petri nets for the quantitative investigation of ETCS. 34
• 
  Kai Lampka, Markus Siegle: Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. 35

Queueing systems III

• 
  Marc Lelarge: Tail asymptotics for discrete event systems. 36
• 
  Smruti Padhy, Arzad Alam Kherani: Tail equivalence for some time-shared systems. 37
• 
  Melike Baykal-Gursoy, Zhe Duan: M/M/C queues with Markov modulated service processes. 38

Scheduling algorithms

• 
  David Raz, Benjamin Avi-Itzhak, Hanoch Levy: Fairness considerations of scheduling in multi-server and multi-queue systems. 39
• 
  Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel: Parametric delay differentiation between packet flows using multiple reserved spaces. 40
• 
  Luciano Lenzini, Enzo Mingozzi, Giovanni Stea: Bandwidth and latency analysis of modified deficit round robin scheduling algorithms. 41

Simulation II

• 
  Gersende Fort, Eric Moulines, Sean P. Meyn, Pierre Priouret: ODE methods for Markov chain stability with applications to MCMC. 42
• 
  Christophe Andrieu, Y. F. Atchadé: On the efficiency of adaptive MCMC algorithms. 43
• 
  Bruno Casella, Gareth O. Roberts: Monte Carlo simulation of killed diffusions with a single barrier. 44
• 
  Ioannis Kontoyiannis, Luis Alfonso Lastras-Montaño, Sean P. Meyn: Exponential bounds and stopping rules for MCMC and general Markov chains. 45

Approximation methods I

• 
  Pascal Lieshout, Sem C. Borst, Michel Mandjes: Heavy-traffic approximations for linear networks operating under alpha-fair bandwidth-sharing policies. 46
• 
  Robert D. van der Mei, Erik M. M. Winands: Mean value analysis for polling systems in heavy traffic. 47
• 
  Kalyan Kuppuswamy, Daniel C. Lee: Reduced load approximations for large-scale optical WDM networks offering multiclass services. 48

Routing and spreading

• 
  Ahmad Al Hanbali, Philippe Nain, Eitan Altman: Performance of ad hoc networks with two-hop relay routing and limited packet lifetime. 49
• 
  Michele Amoretti, Francesco Zanichelli, Gianni Conte: Performance evaluation of advanced routing algorithms for unstructured peer-to-peer networks. 50
• 
  Moez Draief, Ayalvadi J. Ganesh, Laurent Massoulié: Thresholds for virus spread on networks. 51

Models/measurements of traffic/web systems

• 
  Giada Giorgi, Claudio Narduzzi: Analysis of traffic flow measurements by rate-interval curves. 52
• 
  Jing Cong, Bernd E. Wolfinger: A unified load generator based on formal load specification and load transformation. 53
• 
  Konstantin Avrachenkov, Danil Nemirovsky, Natalia Osipova: Web graph analyzer tool. 54

Control and analysis of communication networks

• 
  Shao Liu, Tamer Basar, R. Srikant: TCP-Illinois: a loss and delay-based congestion control algorithm for high-speed networks. 55
• 
  Thomas Voice: Stability of multi-path dual congestion control algorithms. 56
• 
  Thomas Bonald: Insensitive queueing models for communication networks. 57
• 
  François Baccelli, David R. McDonald: A stochastic model for the throughput of non-persistent TCP flows. 58

Work in progress session: tools

• 
  Lisa Wells: Performance analysis using CPN tools. 59
• 
  Dragan A. Savic, Matevz Pustisek, Francesco Potorti: A tool for packaging and exchanging simulation results. 60
• 
  Peter Buchholz, Dennis Müller, Peter Kemper, Axel Thümmler: OPEDo: a tool framework for modeling and optimization of stochastic models. 61
• 
  Jie Tao, Wolfgang Karl: Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities. 62

Control of Queues

• 
  Taposh Banerjee, Arzad Alam Kherani: Optimal control of admission to a station in a closed two queue system. 63
• 
  Lynda Mokdad, Mbaye Sene: Performance measures of a call admission control in mobile networks using SWN. 64
• 
  Sum Lam, Rocky K. C. Chang, Yi Xie: Relative stability analysis of multiple queues. 65

Approximation methods II

• 
  Oualid Jouini, Yves Dallery: Predicting queueing delays for multiclass call centers. 66
• 
  Juha Leino, Jorma T. Virtamo: An approximative method for calculating performance measures of Markov processes. 67
• 
  József Bíró: Loss ratio approximations in buffered systems with regulated inputs. 68