Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / [electronic resource] :
edited by Philipp Reinecke, Antinisca Di Marco.
- 1st ed. 2017.
- XVI, 299 p. 103 illus. online resource.
- Programming and Software Engineering, 10497 2945-9168 ; .
- Programming and Software Engineering, 10497 .
Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems.-Performance, energy and security.
This book constitutes the refereed proceedings of the 14th European Workshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
9783319665832
10.1007/978-3-319-66583-2 doi
Electronic digital computers--Evaluation.
Computer science--Mathematics.
Mathematical statistics.
Computer science.
Software engineering.
Computer simulation.
Artificial intelligence.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer Modelling.
Artificial Intelligence.
QA76.9.E94
004.24
Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems.-Performance, energy and security.
This book constitutes the refereed proceedings of the 14th European Workshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
9783319665832
10.1007/978-3-319-66583-2 doi
Electronic digital computers--Evaluation.
Computer science--Mathematics.
Mathematical statistics.
Computer science.
Software engineering.
Computer simulation.
Artificial intelligence.
System Performance and Evaluation.
Probability and Statistics in Computer Science.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer Modelling.
Artificial Intelligence.
QA76.9.E94
004.24