03510nam 22007815 450 991048440160332120251225211014.03-319-66583-910.1007/978-3-319-66583-2(CKB)3710000001631284(DE-He213)978-3-319-66583-2(MiAaPQ)EBC6299114(MiAaPQ)EBC5591407(Au-PeEL)EBL5591407(OCoLC)1005000724(PPN)203850416(EXLCZ)99371000000163128420170812d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /edited by Philipp Reinecke, Antinisca Di Marco1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XVI, 299 p. 103 illus.) Programming and Software Engineering,2945-9168 ;104973-319-66582-0 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.Programming and Software Engineering,2945-9168 ;10497Electronic digital computersEvaluationComputer scienceMathematicsMathematical statisticsComputer scienceSoftware engineeringComputer simulationArtificial intelligenceSystem Performance and EvaluationProbability and Statistics in Computer ScienceComputer Science Logic and Foundations of ProgrammingSoftware EngineeringComputer ModellingArtificial IntelligenceElectronic digital computersEvaluation.Computer scienceMathematics.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.004Reinecke Philippedthttp://id.loc.gov/vocabulary/relators/edtDi Marco Antiniscaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484401603321Computer Performance Engineering3004631UNINA