Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop 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 performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.

List of contents

Advances in Markov models.- Advances in quantitative analysis.- Model checking.- Cyber-physical systems.-Performance, energy and security.

Summary

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop 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 performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.

Product details

• Assisted by: Antinisca Di Marco (Editor), Philipp Reinecke (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 15.08.2017
• EAN: 9783319665825
• ISBN: 978-3-31-966582-5
• No. of pages: 299
• Dimensions: 155 mm x 19 mm x 235 mm
• Weight: 482 g
• Illustrations: XVI, 299 p. 103 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Wahrscheinlichkeitsrechnung und Statistik, Computermodellierung und -simulation, Theoretische Informatik, computer science, Logics and Meanings of Programs, Mathematical & statistical software, Computer programming / software engineering, Maths for computer scientists, Mathematical statistics, Probability and Statistics in Computer Science, Computer simulation, Computer modelling & simulation, Simulation and Modeling, Computer architecture & logic design, Computer system failures, System Performance and Evaluation, Computer logic, Computer Science Logic and Foundations of Programming, Computer Modelling