Computer Performance Engineering
14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Editors: Reinecke, Philipp, Di Marco, Antinisca (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (18 chapters)
-
-
Analysis of Markov Decision Processes Under Parameter Uncertainty
Pages 3-18
-
Bounded Aggregation for Continuous Time Markov Decision Processes
Pages 19-32
-
Interactive Markovian Equivalence
Pages 33-49
-
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy
Pages 53-68
-
Analysis of Timed Properties Using the Jump-Diffusion Approximation
Pages 69-84
-
Table of contents (18 chapters)
- Download Preface 1 PDF (42.9 KB)
- Download Sample pages 2 PDF (437.9 KB)
- Download Table of contents PDF (65.8 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Computer Performance Engineering
- Book Subtitle
- 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
- Editors
-
- Philipp Reinecke
- Antinisca Di Marco
- Series Title
- Programming and Software Engineering
- Series Volume
- 10497
- Copyright
- 2017
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG
- eBook ISBN
- 978-3-319-66583-2
- DOI
- 10.1007/978-3-319-66583-2
- Softcover ISBN
- 978-3-319-66582-5
- Edition Number
- 1
- Number of Pages
- XVI, 299
- Number of Illustrations
- 103 b/w illustrations
- Topics
