default search action
7. VALUETOOLS 2013: Torino, Italy
- András Horváth, Peter Buchholz, Vittorio Cortellessa, Luca Muscariello, Mark S. Squillante:
7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013. ICST/ACM 2013, ISBN 978-1-936968-48-0
Regular papers
- Fabrice Guillemin, Alain Simonian:
Analysis of the shortest queue first service discipline with two classes. 1-10 - Benny Van Houdt:
Analysis of the d-choices garbage collection algorithm with memory in flash-based SSDs. 11-19 - Alireza Pourranjbar, Jane Hillston:
An aggregation technique for large-scale PEPA models with non-uniform populations. 20-29 - Enrico Barbierato, Marco Gribaudo, Mauro Iacono:
Modeling apache hive based applications in big data architectures. 30-38 - Jérôme Casse, Muriel Médard:
Only the source's and sink's neighborhood matters: convergence results for unicast and multicast connections on random graphs and hypergraphs. 39-48 - Luca Bortolussi, Mirco Tribastone:
Differential analysis of interacting automata with immediate actions. 49-58 - Gábor Horváth:
Matching marginal moments and lag autocorrelations with MAPs. 59-68 - Esa Hyytiä, Samuli Aalto:
Round-robin routing policy: value functions and mean performance with job- and server-specific costs. 69-78 - Dirk van Zwieten, Erjen Lefeber, Ivo J. B. F. Adan:
Optimal steady-state and transient trajectories of a two queue switching server. 79-87 - Sinem Kockan, David Starobinski:
Admission control and profitability analysis in dynamic spectrum access data networks. 88-97 - Alessio Angius, Marcello Colledani:
Transient analysis of asynchronous Markovian production lines by quasi product form. 98-107 - Kazutomo Kobayashi, Yukio Takahashi:
Tractable effective bandwidths for end-to-end evaluation and fractional Brownian motion traffic. 108-117 - Dieter Fiems, Koen De Turck:
A series expansion approach for finite-capacity processor sharing queues. 118-125 - Andrey Garnaev, Yezekael Hayel, Eitan Altman:
Multilevel pricing schemes in a deregulated wireless network market. 126-135 - Olivier Brun, Balakrishna J. Prabhu, Tatiana Seregina:
On the convergence of the best-response algorithm in routing games. 136-144 - Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario:
Quantitative evaluation of availability measures of gas distribution networks. 145-154 - Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran:
Network of queues with inert customers and signals. 155-164 - Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort:
Analysis of a sewage treatment facility using hybrid Petri nets. 165-174 - Marily Nika, Gergana Ivanova, William J. Knottenbelt:
On celebrity, epidemiology and the internet. 175-183 - Nicaise Choungmo Fofack, Sara Alouf:
Modeling modern DNS caches. 184-193 - Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza:
Contextual lumpability. 194-203 - Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin:
Queueing networks and conditional product-forms. 204-213 - Nesrine Ben Khalifa, Rachid El Azouzi, Yezekael Hayel, Habib B. A. Sidi, Issam Mabrouki:
Evolutionary stable strategies in interacting communities. 214-222 - Mohamed Lamine Lamali, Hélia Pouyllau, Johanne Cohen, Anne Bouillard, Dominique Barth:
Risk-aware SLA negotiation. 223-232 - Philippe Olivier, Alain Simonian:
Performance of a cache with random replacement and Zipf document popularity. 233-242 - Panayotis Mertikopoulos, Elena Veronica Belmega:
Adaptive spectrum management in MIMO-OFDM cognitive radio: an exponential learning approach. 243-252 - Fabien Geyer, Stefan Schneele, Georg Carle:
Practical performance evaluation of ethernet networks with flow-level network modeling. 253-262 - Llorenç Cerdà-Alabern:
Closed form transient solution of continuous time Markov chains through uniformization. 263-272 - Max Tschaikowski, Mirco Tribastone:
Insensitivity to service-time distributions for fluid queueing models. 273-281
Tool papers
- Michael A. Beck, Jens B. Schmitt:
The DISCO stochastic network calculator version 1.0: when waiting comes to an end. 282-285 - Mattia Zeni, Daniele Miorandi, Francesco De Pellegrini:
YOUStatAnalyzer: a tool for analysing the dynamics of YouTube content popularity. 286-289 - Andrea Sansottera, Paolo Cremonesi:
Optimal virtual machine scheduling with anvik. 290-293 - Massimo Canonico, Andrea Lombardo, Irene Lovotti:
CloudTUI: a multi cloud platform text user interface. 294-297 - Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli:
A reusable modular toolchain for automated dependability evaluation. 298-303 - Michael Frey, Friedrich Große, Mesut Günes:
libARA: a framework for simulation and testbed based studies on ant routing algorithms in wireless multi-hop networks. 304-309 - Stefano Sebastio, Andrea Vandin:
MultiVeStA: statistical model checking for discrete event simulators. 310-315 - Daniele Codetta Raiteri, Luigi Portinale:
A GSPN based tool to inference generalized continuous time Bayesian networks. 316-319 - Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A tool for symbolic manipulation of arc functions in symmetric net models. 320-323
Tutorials
- Armin Zimmermann:
Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial). 324-327 - Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi:
Performance optimization with JMT: Java modelling tools. 328-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.