Atjaunināt sīkdatņu piekrišanu

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 2327, 2021, Proceedings 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 469 pages, height x width: 235x155 mm, weight: 741 g, 75 Illustrations, color; 52 Illustrations, black and white; XV, 469 p. 127 illus., 75 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12846
  • Izdošanas datums: 12-Aug-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030851710
  • ISBN-13: 9783030851712
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 82,61 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 97,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 2327, 2021, Proceedings 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 469 pages, height x width: 235x155 mm, weight: 741 g, 75 Illustrations, color; 52 Illustrations, black and white; XV, 469 p. 127 illus., 75 illus. in color., 1 Paperback / softback
  • Sērija : Theoretical Computer Science and General Issues 12846
  • Izdošanas datums: 12-Aug-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030851710
  • ISBN-13: 9783030851712
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030851712.html
Keywords:
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.