Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 217 p. 98 illus.) |
Disciplina | 519.23 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Optical data processing Computer science—Mathematics Pattern recognition Data structures (Computer science) Software Engineering Image Processing and Computer Vision Math Applications in Computer Science Discrete Mathematics in Computer Science Pattern Recognition Data Structures |
ISBN | 3-319-18579-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. |
Record Nr. | UNISA-996200027603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 217 p. 98 illus.) |
Disciplina | 519.23 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Optical data processing Computer science—Mathematics Pattern recognition Data structures (Computer science) Software Engineering Image Processing and Computer Vision Math Applications in Computer Science Discrete Mathematics in Computer Science Pattern Recognition Data Structures |
ISBN | 3-319-18579-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. |
Record Nr. | UNINA-9910483268503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Analytical modeling of wireless communication systems / / Carla-Fabiana Chiasserini, Marco Gribaudo, Daniele Manini |
Autore | Chiasserini Carla-Fabiana |
Edizione | [1st edition] |
Pubbl/distr/stampa | London, England ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (155 p.) |
Disciplina | 621.384 |
Collana | Stochastic Models in Computer Science and Telecommunication Networks Set |
Soggetto topico |
Wireless communication systems
Wireless communication systems - Design and construction |
ISBN |
1-119-30774-0
1-119-30773-2 1-119-30772-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Title Page; Copyright; Contents; Preface; Introduction; List of Acronyms; PART 1: Sensor Networks; PART 2: Vehicular Networks; PART 3: Cellular Networks; Bibliography; Index; Other titles from ISTE in Networks and Telecommunications; EULA; 1: Fluid Models and Energy Issues; 2: Hybrid Automata for Transient Delay Analysis; 3: Safety Message Broadcasting; 4: Modeling Information Sharing; 5: Multi-RAT Algorithms; 1.1. The fluid-based approach; 1.2. Network scenario; 1.3. The sensor network model; 1.4. Results; 2.1. Event detection in WSNs; 2.2. Model for single-hop network topologies
2.3. Solution technique2.4. Model for multi-hop network topologies; 2.5. Model validation and exploitation results; 2.6. Discussion; 3.1. System description; 3.2. Dissemination of safety messages; 3.3. Assumptions and notations; 3.4. Model outline; 3.5. Computation of the block probability; 3.6. Computation of the probability of first reception; 3.7. Performance evaluation; 4.1. System scenario; 4.2. Modeling information exchange in IVN; 4.3. Computation of the probability of successful information retrieval; 4.4. Model validation and exploitation; 5.1. RAT network; 5.2. Network model 5.3. Model solution5.4. Performance evaluation; 1.1.1. Sensor density and traffic generation; 1.1.2. Data routing; 1.1.3. Local and relay traffic rates; 1.1.4. Channel contention and data transmission; 1.1.5. Mean packet delivery delay; 1.1.6. Sensor active/sleep behavior; 1.3.1. A minimum energy routing strategy: computing u(r'|r); 1.3.2. Channel contention and data transmission: computing s(r) and PR(r); 1.3.3. Mean packet delivery delay: computing q(r); 1.4.1. Model validation; 1.4.2. Model exploitation; 1.4.3. Model solution complexity and accuracy; 2.1.1. The 802.15.4 MAC protocol 2.2.1. Single message transfer2.2.2. Multiple message transfers; 2.3.1. Time discretization; 2.3.2. Transient solution; 2.3.3. Performance metrics computation; 3.2.1. The spatial differentiation approach; 3.2.2. The safety application; 3.6.1. A Gaussian approximation to the transient system behavior; 3.7.1. The impact of power capture; 3.7.2. The case of occupation probability ρ = 1; 3.7.3. The case of homogeneous occupation probability ρ < 1; 3.7.4. The case of inhomogeneous occupation probability; 3.7.5. The impact of the forwarding policy; 4.2.1. Model description; 5.1.1. Scenario 5.1.2. RAT selection strategy5.2.1. Functional rates; 5.3.1. Analytical approach; 5.3.2. Computation of performance metrics; 5.4.1. Setting and results; 1.3.1.1. Computing єm(r, r')|; 1.3.1.2. Computing FkmE(e|r); 1.3.1.3. Computation of the minimum energy path (equation [1.9]); 1.3.1.4. Computing FmE(e|r); 1.3.1.5. Computing ps; r(r'|e); 1.3.1.6. Computing u(r'|r); 1.3.2.1. Computation of the mean number of transmissions freezing the backoff counter; 1.3.3.1. Computing q(r) for always active sensors; 1.3.3.2. Computing q(r) for active and sleeping sensors; 5.1.1.1. Network scenario 5.2.1.1. Rates derivation |
Record Nr. | UNINA-9910135012303321 |
Chiasserini Carla-Fabiana | ||
London, England ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Analytical modeling of wireless communication systems / / Carla-Fabiana Chiasserini, Marco Gribaudo, Daniele Manini |
Autore | Chiasserini Carla-Fabiana |
Edizione | [1st edition] |
Pubbl/distr/stampa | London, England ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2016 |
Descrizione fisica | 1 online resource (155 p.) |
Disciplina | 621.384 |
Collana | Stochastic Models in Computer Science and Telecommunication Networks Set |
Soggetto topico |
Wireless communication systems
Wireless communication systems - Design and construction |
ISBN |
1-119-30774-0
1-119-30773-2 1-119-30772-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Title Page; Copyright; Contents; Preface; Introduction; List of Acronyms; PART 1: Sensor Networks; PART 2: Vehicular Networks; PART 3: Cellular Networks; Bibliography; Index; Other titles from ISTE in Networks and Telecommunications; EULA; 1: Fluid Models and Energy Issues; 2: Hybrid Automata for Transient Delay Analysis; 3: Safety Message Broadcasting; 4: Modeling Information Sharing; 5: Multi-RAT Algorithms; 1.1. The fluid-based approach; 1.2. Network scenario; 1.3. The sensor network model; 1.4. Results; 2.1. Event detection in WSNs; 2.2. Model for single-hop network topologies
2.3. Solution technique2.4. Model for multi-hop network topologies; 2.5. Model validation and exploitation results; 2.6. Discussion; 3.1. System description; 3.2. Dissemination of safety messages; 3.3. Assumptions and notations; 3.4. Model outline; 3.5. Computation of the block probability; 3.6. Computation of the probability of first reception; 3.7. Performance evaluation; 4.1. System scenario; 4.2. Modeling information exchange in IVN; 4.3. Computation of the probability of successful information retrieval; 4.4. Model validation and exploitation; 5.1. RAT network; 5.2. Network model 5.3. Model solution5.4. Performance evaluation; 1.1.1. Sensor density and traffic generation; 1.1.2. Data routing; 1.1.3. Local and relay traffic rates; 1.1.4. Channel contention and data transmission; 1.1.5. Mean packet delivery delay; 1.1.6. Sensor active/sleep behavior; 1.3.1. A minimum energy routing strategy: computing u(r'|r); 1.3.2. Channel contention and data transmission: computing s(r) and PR(r); 1.3.3. Mean packet delivery delay: computing q(r); 1.4.1. Model validation; 1.4.2. Model exploitation; 1.4.3. Model solution complexity and accuracy; 2.1.1. The 802.15.4 MAC protocol 2.2.1. Single message transfer2.2.2. Multiple message transfers; 2.3.1. Time discretization; 2.3.2. Transient solution; 2.3.3. Performance metrics computation; 3.2.1. The spatial differentiation approach; 3.2.2. The safety application; 3.6.1. A Gaussian approximation to the transient system behavior; 3.7.1. The impact of power capture; 3.7.2. The case of occupation probability ρ = 1; 3.7.3. The case of homogeneous occupation probability ρ < 1; 3.7.4. The case of inhomogeneous occupation probability; 3.7.5. The impact of the forwarding policy; 4.2.1. Model description; 5.1.1. Scenario 5.1.2. RAT selection strategy5.2.1. Functional rates; 5.3.1. Analytical approach; 5.3.2. Computation of performance metrics; 5.4.1. Setting and results; 1.3.1.1. Computing єm(r, r')|; 1.3.1.2. Computing FkmE(e|r); 1.3.1.3. Computation of the minimum energy path (equation [1.9]); 1.3.1.4. Computing FmE(e|r); 1.3.1.5. Computing ps; r(r'|e); 1.3.1.6. Computing u(r'|r); 1.3.2.1. Computation of the mean number of transmissions freezing the backoff counter; 1.3.3.1. Computing q(r) for always active sensors; 1.3.3.2. Computing q(r) for active and sleeping sensors; 5.1.1.1. Network scenario 5.2.1.1. Rates derivation |
Record Nr. | UNINA-9910821465503321 |
Chiasserini Carla-Fabiana | ||
London, England ; ; Hoboken, New Jersey : , : ISTE : , : Wiley, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 161 p. 164 illus., 34 illus. in color.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Computers Computer communication systems Computer science—Mathematics Artificial intelligence System Performance and Evaluation Information Systems and Communication Service Computer Communication Networks Mathematics of Computing Artificial Intelligence |
ISBN | 3-030-44411-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hybrid 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. |
Record Nr. | UNISA-996418220703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Performance Engineering : 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers / / edited by Marco Gribaudo, Mauro Iacono, Tuan Phung-Duc, Rostislav Razumchik |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIII, 161 p. 164 illus., 34 illus. in color.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Computers Computer communication systems Computer science—Mathematics Artificial intelligence System Performance and Evaluation Information Systems and Communication Service Computer Communication Networks Mathematics of Computing Artificial Intelligence |
ISBN | 3-030-44411-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Hybrid 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. |
Record Nr. | UNINA-9910409679303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|