03803nam 22007575 450 99646587370331620200704195406.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[electronic resource] 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 ;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 ;10497Computer system failuresMathematical statisticsComputer logicSoftware engineeringComputer simulationArtificial intelligenceSystem Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Probability and Statistics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17036Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Computer system failures.Mathematical statistics.Computer logic.Software engineering.Computer simulation.Artificial intelligence.System Performance and Evaluation.Probability and Statistics in Computer Science.Logics and Meanings of Programs.Software Engineering.Simulation and Modeling.Artificial Intelligence.004Reinecke Philippedthttp://id.loc.gov/vocabulary/relators/edtDi Marco Antiniscaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465873703316Computer Performance Engineering774014UNISA