default search action
VALUETOOLS 2017: Venice, Italy
- Andrea Marin, Benny Van Houdt, Giuliano Casale, Dorina C. Petriu, Sabina Rossi:
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017. ACM 2017
Networking
- Anand Kalvit, Gaurav S. Kasbekar, D. Manjunath, Jayakrishnan Nair:
Capacity Expansion of Neutral ISPs via Content Peering Charges: The Bargaining Edge. 1-8 - Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
:
An introduction to the ORIS tool. 9-11 - Jan Kriege:
Markovian Modeling of Wireless Trace Data. 12-19 - Fabien Geyer:
Performance Evaluation of Network Topologies using Graph-Based Deep Learning. 20-27
Markov Models
- Thu-Ha Dao-Thi, Jean-Michel Fourneau, Minh-Anh Tran:
Whittle networks with resets. 28-35 - Alexander Gouberman, Markus Siegle
Perturbation of CTMC Trapping Probabilities with Application to Model Repair. 36-43 - Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi, Holger Hermanns
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters. 44-51 - Matteo Sottana, Carla Piazza
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. 52-59 - Alain Jean-Marie:
marmoteCore: a Markov Modeling Platform. 60-65
Software Performance Engineering
- Jürgen Walter, André van Hoorn, Samuel Kounev:
Automated and Adaptable Decision Support for Software Performance Engineering. 66-73 - Faris Llwaah, Jacek Cala, Nigel Thomas:
Runtime Performance Prediction of Big Data Workflows with I/O-aware Simulation. 74-81 - Katrin Angerbauer, Dusan Okanovic, André van Hoorn, Christoph Heger:
The Back End is Only One Part of the Picture: Mobile-Aware Application Performance Monitoring and Problem Diagnosis. 82-89
Networking Tools
- Konstantinos P. Tsoukatos:
Reciprocity-driven Sparse Network Formation. 90-97 - Anand Kalvit, Vivek S. Borkar, Nikhil Karamchandani:
MCMC Approaches to Rumor Source Inference using Pairwise Information. 98-105 - Ivo Adan, Rhonda Righter, Gideon Weiss:
FCFS Parallel Service Systems and Matching Models. 106-112 - Andreas Stockmayer, Christian Kindermann, Michael Menth:
VITO: Virtual Testbed Orchestration for Automation of Networking Experiments. 113-118 - Toke Høiland-Jørgensen, Carlo Augusto Grazia
Flent: The FLExible Network Tester. 120-125 - Natchanon Luangsomboon, Robert Hesse, Jörg Liebeherr:
Fast Min-plus Convolution and Deconvolution on GPUs. 126-131
Analysis of Large Systems
- Verónica Quintuna Rodriguez
On dimensioning Cloud-RAN systems. 132-139 - Daphne van Leeuwen, Peter M. van de Ven:
Modelling user behaviour at a stochastic road traffic bottleneck. 140-147 - Dario Bauso, Jian Gao, Hamidou Tembine
Distributionally Robust Games: f-Divergence and Learning. 148-155 - Andrea Bobbio
Scalable analytical model of the reliability of multi-core systems-on-chip by interacting Markovian agents. 156-163 - Marco Scarpa, Giuseppe Molica:
MAGNET: a Software Library for Markovian Agent Networks. 164-169
Petri Nets
- Dimitri Lefebvre:
Evaluating the robustness of scheduling in uncertain environment with Petri nets. 170-177 - Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám:
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. 178-185 - Carina Pilch, Fabian Edenfeld, Anne Remke:
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. 186-191 - Danilo Oliveira, Rúbens de Souza Matos Júnior, Jamilson Dantas, João Ferreira, Bruno Silva, Gustavo Callou, Paulo R. M. Maciel, André Brinkmann:
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language. 192-197
Queueing Theory 1
- Murtuza Ali Abidini, Onno J. Boxma, Josu Doncel
Size-based Routing to Balance Performance of the Queues. 198-205 - Esa Hyytiä
Beyond Shortest Queue Routing with Heterogeneous Servers and General Cost Functions. 206-213 - Refael Hassin, Ran I. Snitkovsky:
Self, Social and Monopoly Optimization in Observable Queues. 214-220
Security, Reliability and Energy
- Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
Trading Optimality for Performance in Location Privacy. 221-222 - Eliran Sherzer, Gail Gilboa-Freedman, Hanoch Levy:
Resource allocation in a cloud under virus attacks. 223-224 - Ludovica Luisa Vissat, Jane Hillston, Michele Loreti
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. 225-226 - Thomas Dietrich
Towards Energy Consumption Prediction with Safety Margins for Multicopter Systems. 227-228
Queueing Theory 2
- Veeraruna Kavitha, Raman Kumar Sinha:
Achievable region with impatient customers. 229-236 - Amar Aissani
Profiting the idleness in single server system with orbit-queue. 237-243 - Tommi Pesu, Jani Kettunen, William J. Knottenbelt, Katinka Wolter:
Three-way Optimisation of Response Time, Subtask Dispersion and Energy Consumption in Split-Merge Systems. 244-251 - Sébastien Samain, Ana Busic
Exact Computation and Bounds for the Coupling Time in Queueing Systems. 252-253
Networking and Simulation
- Mohsin Raza Jafri
Adaptive Holding time and Depth-Based Routing for UWSN. 254-256 - Andreas Fischer:
Performance Evaluation for Service Function Chains through Automated Model Building. 257-258 - Pasquale Imputato, Stefano Avallone
Network Emulation Support in ns-3 Through Kernel Bypass Techniques. 259-260 - Edoardo Cavalieri d'Oro, Simone Colombo
Modeling and evaluating performances of complex edge computing based systems: a firefighting support system case study. 261-262 - Armin Zimmermann, Andrés Canabal Lavista, Ricardo J. Rodríguez:
Some Notes on Rare-Event Simulation Challenges. 263-264
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.
last updated on 2024-11-19 20:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: