LEADER 03935nam 22006375 450 001 9910427674003321 005 20251230065118.0 010 $a3-030-62885-X 024 7 $a10.1007/978-3-030-62885-7 035 $a(CKB)4100000011568971 035 $a(DE-He213)978-3-030-62885-7 035 $a(MiAaPQ)EBC6386410 035 $a(PPN)252506839 035 $a(EXLCZ)994100000011568971 100 $a20201107d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnalytical and Stochastic Modelling Techniques and Applications $e25th International Conference, ASMTA 2019, Moscow, Russia, October 21?25, 2019, Proceedings /$fedited by Marco Gribaudo, Eduard Sopin, Irina Kochetkova 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (X, 187 p. 64 illus., 36 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12023 311 08$a3-030-62884-1 327 $aAlgorithmic Analysis of a Two-Class Multi-Server HeterogeneousQueueing System with a Controllable Cross-Connectivity -- Queueing Analysis of Cognitive Radio Networks with Finite Number ofSecondary Users -- On Reliability of a Double Redundant Renewable System -- Queueing Analysis for a Mixed Model of Carsharing and Ridesharing -- An All Geometric Discrete-Time Multiserver Queueing System -- Dealing with Dependence in Stochastic Network Calculus { UsingIndependence as a Bound -- Map-Reduce Process Algebra: a Formalism to Describe Directed -- Acyclic Graph Task-Based Jobs in Parallel Environments -- Performance Evaluation of Scheduling Policies for the DRCMPSP -- An Algorithm for Improved Proportional-Fair Utility for Vehicular Users -- Method of Asymptotic Di usion Analysis of Queueing System MjMjNwith feedback -- Exact Performance Analysis of Retrial Queues with Collisions -- In nite-Server Bulk Queue with MMPP Arrivals -- Dissipativity Of The Quantum Measurement Model. 330 $aThis book constitutes the refereed proceedings of the 25th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2019, held in Moscow, Russia, in October 2019. Methods of analytical and stochastic modelling are widely used in engineering to assess and design various complex systems, like computer and communication networks, and manufacturing systems. The 13 full papers presented in this book were carefully reviewed and selected from 22 submissions. The papers detail a diverse range of analysis techniques, including Markov processes, queueing theoretical results, reliability of stochastic systems, stochastic network calculus, and wide variety of applications. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12023 606 $aComputer science$xMathematics 606 $aComputer systems 606 $aComputer networks 606 $aSoftware engineering 606 $aMathematical Applications in Computer Science 606 $aComputer System Implementation 606 $aComputer Communication Networks 606 $aSoftware Engineering 615 0$aComputer science$xMathematics. 615 0$aComputer systems. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 14$aMathematical Applications in Computer Science. 615 24$aComputer System Implementation. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 676 $a004.0151 702 $aGribaudo$b Marco$f1972- 702 $aSopin$b Eduard 702 $aKochetkova$b Irina 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910427674003321 996 $aAnalytical and stochastic modelling techniques and applications$92278656 997 $aUNINA