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.
- XVII, 382 p. 91 illus. online resource.
- Lecture Notes in Computer Science, 9826 0302-9743 ; .
- Lecture Notes in Computer Science, 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.
Computer system failures.
Computers.
Computer logic.
Mathematical statistics.
Computer simulation.
Computer Science.
Logics and Meanings of Programs.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Computation by Abstract Devices.
Simulation and Modeling.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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.
Computer system failures.
Computers.
Computer logic.
Mathematical statistics.
Computer simulation.
Computer Science.
Logics and Meanings of Programs.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Computation by Abstract Devices.
Simulation and Modeling.
QA76.9.L63 QA76.5913 QA76.63
005.1015113