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.