LEADER 03928nam 22006735 450 001 9910409679303321 005 20250722071724.0 010 $a3-030-44411-2 024 7 $a10.1007/978-3-030-44411-2 035 $a(CKB)4100000010770681 035 $a(DE-He213)978-3-030-44411-2 035 $a(MiAaPQ)EBC6155280 035 $a(PPN)243760906 035 $a(EXLCZ)994100000010770681 100 $a20200318d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Performance Engineering $e16th European Workshop, EPEW 2019, Milan, Italy, November 28?29, 2019, Revised Selected Papers /$fedited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIII, 161 p. 164 illus., 34 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12039 311 08$a3-030-44410-4 320 $aIncludes bibliographical references and index. 327 $aHybrid Petri Nets Featuring Multiple Random Variables -- Abandonment Attack on the LEACH Protocol -- Coherent Resolutions of Nondeterminism -- Emulating Self-adaptive Stochastic Petri Nets -- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases -- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States -- A Network Aware Resource Discovery Service -- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain -- A Queueing Model that Works Only on Biggest Jobs -- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems -- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues. 330 $aThis book constitutes the refereed proceedings of the 16th European Workshop on Computer Performance Engineering, EPEW 2019, held in Milan, Italy, in November 2019. The 10 papers presented in this volume together with one invited talk were carefully reviewed and selected from 13 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from modeling and analysis of network/control protocols and high performance/BigData information systems, analysis of scheduling, blockchain technology, analytical modeling and simulation of computer/network systems. . 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12039 606 $aElectronic digital computers$xEvaluation 606 $aComputer networks 606 $aComputer science$xMathematics 606 $aArtificial intelligence 606 $aSystem Performance and Evaluation 606 $aComputer Communication Networks 606 $aMathematics of Computing 606 $aArtificial Intelligence 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputer networks. 615 0$aComputer science$xMathematics. 615 0$aArtificial intelligence. 615 14$aSystem Performance and Evaluation. 615 24$aComputer Communication Networks. 615 24$aMathematics of Computing. 615 24$aArtificial Intelligence. 676 $a004.24 676 $a004.24 702 $aGribaudo$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aIacono$b Mauro$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPhung-Duc$b Tuan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRazumchik$b Rostislav$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910409679303321 996 $aComputer Performance Engineering$93004631 997 $aUNINA