Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14. EPEW 2017: Berlin, Germany
- Philipp Reinecke, Antinisca Di Marco:
Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings. Lecture Notes in Computer Science 10497, Springer 2017, ISBN 978-3-319-66582-5
Advances in Markov Models
- Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch:
Analysis of Markov Decision Processes Under Parameter Uncertainty. 3-18 - Peter Buchholz, Iryna Dohndorf
, Alexander Frank, Dimitri Scheftelowitsch:
Bounded Aggregation for Continuous Time Markov Decision Processes. 19-32 - Arpit Sharma:
Interactive Markovian Equivalence. 33-49
Advances in Quantitative Analysis
- Rostislav Razumchik, Miklós Telek:
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy. 53-68 - Paolo Ballarini, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Jeremy Sproston:
Analysis of Timed Properties Using the Jump-Diffusion Approximation. 69-84 - Evsey Morozov, Ioannis Dimitriou:
Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues. 85-98
Model Checking
- Adrian Godde, Anne Remke:
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. 101-116 - Ulrich Vogl, Markus Siegle:
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. 117-132
Cyber-Physical Systems
- Karl Meinke:
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study. 135-151 - Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario:
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. 152-166
Performance, Energy and Security
- Osama Nasser Alrajeh, Matthew Forshaw, Nigel Thomas:
Machine Learning Models for Predicting Timely Virtual Machine Live Migration. 169-183 - Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico:
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components. 184-198 - Mohamed Mehdi Kandi, Farah Aït-Salaht, Hind Castel-Taleb, Emmanuel Hyon:
Analysis of Performance and Energy Consumption in the Cloud. 199-213 - Christian Stier, Dominik Werle, Anne Koziolek:
Deriving Power Models for Architecture-Level Energy Efficiency Analyses. 214-229 - John C. Mace, Nipun Balan Thekkummal, Charles Morisset, Aad van Moorsel:
ADaCS: A Tool for Analysing Data Collection Strategies. 230-245
Case Studies
- Ibrahim EL-Sanosi, Paul D. Ezhilchelvan:
Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing. 249-265 - Said Naser Said Kamil, Nigel Thomas:
Modelling and Analysis of Commit Protocols with PEPA. 266-281 - Dimitra Politaki, Sara Alouf:
Stochastic Models for Solar Power. 282-297
a service of 
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-06-18 21:26 CEST 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:
