Muutke küpsiste eelistusi

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 2327, 2021, Proceedings 1st ed. 2021 [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 469 pages, kõrgus x laius: 235x155 mm, kaal: 741 g, 75 Illustrations, color; 52 Illustrations, black and white; XV, 469 p. 127 illus., 75 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12846
  • Ilmumisaeg: 12-Aug-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030851710
  • ISBN-13: 9783030851712
Teised raamatud teemal:
  • Pehme köide
  • Hind: 85,76 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 100,89 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 2327, 2021, Proceedings 1st ed. 2021Suurem pilt
  • Formaat: Paperback / softback, 469 pages, kõrgus x laius: 235x155 mm, kaal: 741 g, 75 Illustrations, color; 52 Illustrations, black and white; XV, 469 p. 127 illus., 75 illus. in color., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 12846
  • Ilmumisaeg: 12-Aug-2021
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3030851710
  • ISBN-13: 9783030851712
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783030851712.html
Märksõnad:
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.

The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.

Keynote Speaker.- Performance Evaluation: Model-Driven or Problem-Driven?.- Probabilistic Model Checking.- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.- Tweaking the Odds in Probabilistic Timed Automata.- Quantifying Software Reliability via Model-Counting.- Quantitative Models and Metamodels: Analysis and Validation.- Compositional safe approximation of response time distribution of complex workflows.- Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.- Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models.- Queueing Systems.- Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems.- SEH: Size Estimate Hedging for Single-Server Queues.- An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets.- Learning and Verification.- DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.- Active and sparse methods in smoothed model checking.- Safe Learning for Near-Optimal Scheduling.- Simulation.- Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies.- Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers.- Performance Evaluation.- Queue Response Times with Server Speed Controlled by Measured Utilizations.- Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes.- Performance analysis of work stealing strategies in large scale multi-threaded computing.- Abstractions and Aggregations.- Stationary Distribution Approximations of Markovian Population Models using Aggregation.- Reasoning about Proportional Lumpability.- Lumpability for Uncertain Continuous-Time Markov Chains.- Stochastic Models.- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems.- Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction.- Attack Trees vs. Fault Trees: two sides of the same coin from different currencies.