Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / [electronic resource] : edited by Gul Agha, Benny Van Houdt. - 1st ed. 2016. - XVII, 382 p. 91 illus. online resource. - Theoretical Computer Science and General Issues, 9826 2512-2029 ; . - Theoretical Computer Science and General Issues, 9826 .

Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.

This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.

9783319434254

10.1007/978-3-319-43425-4 doi


Computer science.
Electronic digital computers--Evaluation.
Computer science--Mathematics.
Mathematical statistics.
Computer simulation.
Computer Science Logic and Foundations of Programming.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Theory of Computation.
Computer Modelling.

QA75.5-76.95

004.0151