05115nam 22007215 450 99646642690331620200630211043.03-030-02227-710.1007/978-3-030-02227-3(CKB)4100000007003122(DE-He213)978-3-030-02227-3(MiAaPQ)EBC6244194(PPN)23146097X(EXLCZ)99410000000700312220181002d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Performance Engineering[electronic resource] 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (XVI, 265 p. 92 illus.) Programming and Software Engineering ;111783-030-02226-9 Includes bibliographical references and index.Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. .This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design.Programming and Software Engineering ;11178Computer system failuresArtificial intelligenceAlgorithmsSoftware engineeringComputer securitySystem Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computer system failures.Artificial intelligence.Algorithms.Software engineering.Computer security.System Performance and Evaluation.Artificial Intelligence.Algorithm Analysis and Problem Complexity.Software Engineering.Systems and Data Security.004Bakhshi Renaedthttp://id.loc.gov/vocabulary/relators/edtBallarini Paoloedthttp://id.loc.gov/vocabulary/relators/edtBarbot Benoîtedthttp://id.loc.gov/vocabulary/relators/edtCastel-Taleb Hindedthttp://id.loc.gov/vocabulary/relators/edtRemke Anneedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466426903316Computer Performance Engineering774014UNISA