Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. MMB/DFT 2012: Kaiserslautern, Germany
- Jens B. Schmitt:
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7201, Springer 2012, ISBN 978-3-642-28539-4
Full Papers
- Hans Daduna, Lars Peter Saul:
Availability in Large Networks: Global Characteristics from Local Unreliability Properties. 1-15 - Feng Zhang, Jinting Wang
:
Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search. 16-30 - Minh Lê, Max Walter:
Bounds for Two-Terminal Network Reliability with Dependent Basic Events. 31-45 - Matthias Meitner, Francesca Saglietti:
Software Reliability Testing Covering Subsystem Interactions. 46-60 - Kai Höfig:
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis. 61-75 - Sebastian Vastag:
A Calculus for SLA Delay Properties. 76-90 - Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, Reinhard German:
Verifying Worst Case Delays in Controller Area Network. 91-105 - Marijn R. Jongerden, Boudewijn R. Haverkort:
Lifetime Improvement by Battery Scheduling. 106-120 - Arpit Sharma:
Weighted Probabilistic Equivalence Preserves ω-Regular Properties. 121-135 - Sonja Georgievska, Suzana Andova:
Probabilistic CSP: Preserving the Laws via Restricted Schedulers. 136-150 - Luis María Ferrer Fioriti, Holger Hermanns:
Heuristics for Probabilistic Timed Automata with Abstraction Refinement. 151-165 - Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort:
Simulative and Analytical Evaluation for ASD-Based Embedded Software. 166-181 - Alireza Abdollahpouri, Bernd E. Wolfinger:
Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems. 182-196 - Shu Huang, Ilia Baldine:
Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations. 197-205 - Ulrich Winkler, Wasif Gilani, Alan Marshall:
Business Driven BCM SLA Translation for Service Oriented Systems. 206-220 - Ralf Jahr, Horia Calborean, Lucian Vintan, Theo Ungerer:
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge. 221-235
Tool Papers
- Michael Hoefling, Michael Menth, Christian Kniep, Marcus Camen:
IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring. 236-239 - Philipp M. Eittenberger, Udo R. Krieger:
A Workbench for Internet Traffic Analysis. 240-243 - Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle:
A Modelling and Analysis Environment for LARES. 244-248 - Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns:
Simulation and Statistical Model Checking for Modestly Nondeterministic Models. 249-252 - Andrey Kolesnikov:
UniLoG: A Unified Load Generation Tool. 253-257
Selected Workshop Papers
- William Mangoua Sofack, Marc Boyer:
Non Preemptive Static Priority with Network Calculus: Enhancement. 258-272 - Jean-Yves Le Boudec, Dan-Cristian Tomozei:
A Demand-Response Calculus with Perfect Batteries. 273-287 - Rainer Plaga, Frank Koob:
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions. 288-301 - Kai Wang, Yuming Jiang, Chuang Lin:
Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus. 302-316 - Gergely Alpár, Lejla Batina, Roel Verdult:
Using NFC Phones for Proving Credentials. 317-330
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-21 22:46 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:
