SMCtools 2007

TECHNICAL PROGRAM

9.00-9.10 Opening

9.10-9.55 Invited Talk:

Antonis Economou (University of Athens)
"Continuous-time Markov Chains with Binomial Transitions: Modeling,
Analysis and Applications to Queueing Systems with Synchronized Events"

9.55 - 10.20

Jose Nino-Mora (Universidad Carlos III de Madrid)
"Computing an Index Policy for Multiarmed Bandits with Deadlines"

10.20 - 10.50 Coffee Break

10.50 - 11.15

Denis Miretskiy (University of Twente), Werner Scheinhardt (University of Twente) and Michel Mandjes (University of Amsterdam)
"Simulation of a Jackson Tandem Network using State-dependent Importance Sampling"

11.15 - 11.40

Stephan Heckmueller, Michael Spork and Bernd Wolfinger (University of Hamburg)
"Load Transformations of Markovian Arrival Processes: Methods and Tool Support"

11.40 - 12.05

Juan F. Perez, Jeroen Van Velthoven and Benny Van Houdt (University of Antwerp)
"Q-MAM: A Tool for Solving Infinite Queues using Matrix-Analytic Methods"

12.05 - 12.30

Ahmad Al Hanbali, Roland de Haan, Richard J. Boucherie and Jan-Kees van Ommeren (University of Twente)
"Time-Limited and k-Limited polling systems: A Matrix Geometric Solution"

12.30 - 14.00 Lunch Break

14.00 - 14.40 Invited Talk:

Moshe Haviv and Rita Zlotnikov (Hebrew University of Jerusalem)
"Computational Schemes for Two Exponential Servers Where the First Has a Finite Buffer"

14.55 - 15.20

Ivana Pultarova (Czech Technical University)
"Iterative Aggregation-Disaggregation Methods and Ordering Algorithms"

15.20 - 15.45

Nelly Litvak (University of Twente) and Philippe Robert (INRIA)
"Analysis of an On-line Algorithm for Solving Large Markov Chains"

16.00 - 16.25

Alexander Pechinkin and Sergey Shorgin (Institute of Informatics Problems, RAS)
"The Discrete Time Queueing System with Inversive Service and Probabilistic Priority"

16.25 - 16.50

Nihal Pekergin (Universite Paris XII) and Sana Younes (Universite de Versailles-St.Quentin)
"CSRL Model Checking with Closed Form Bounding Distributions"

16.50 - 17.15

Alexander Zeifman, Yakov Satin, Alexander Chegodaev (Vologda State Pedagogical University),
and Vladimir Bening, Vsevolod Shorgin (Institute of Informatics Problems, RAS)
"Some Bounds for M(t)/M(t)/S Queue with Catastrophes"

17.15 - 17.30 Closing/Discussion