Computer Networks [[electronic resource] ] : 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings / / edited by Piotr Gaj, Andrzej Kwiecień, Piotr Stera |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XIV, 456 p. 213 illus.) |
Disciplina | 530.15 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer communication systems
Computer system failures Application software Mathematical statistics Computer Communication Networks System Performance and Evaluation Information Systems Applications (incl. Internet) Probability and Statistics in Computer Science |
ISBN | 3-319-19419-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computer Networks -- Teleinformatics and Telecommunications -- New Technologies -- Queueing Theory -- Innovative Applications. |
Record Nr. | UNINA-9910299234903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Networks [[electronic resource] ] : 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings / / edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XIV, 349 p. 143 illus.) |
Disciplina | 004.6 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer communication systems
Computer system failures Special purpose computers Mathematical statistics Application software Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Probability and Statistics in Computer Science Information Systems Applications (incl. Internet) |
ISBN | 3-319-07941-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computer networks -- Teleinformatics and communications -- New technologies -- Queueing theory -- Innovative applications -- Networked and IT-related aspects of e-business. |
Record Nr. | UNINA-9910298566603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Networks [[electronic resource] ] : 20th International Conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013. Proceedings / / edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XVIII, 594 p. 242 illus.) |
Disciplina | 004.6 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer communication systems
Computer system failures Special purpose computers Mathematical statistics Application software Computer Communication Networks System Performance and Evaluation Special Purpose and Application-Based Systems Probability and Statistics in Computer Science Information Systems Applications (incl. Internet) |
ISBN | 3-642-38865-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Computer networks -- network architectural issues -- Internet and wireless solutions -- teleinformatics and communications -- new technologies -- queueing theory and queueing networks -- innovative applications -- networking in e-business -- security aspects of hardware and software -- industrial systems -- quantum and bio-informatics -- cloud networking and services. |
Record Nr. | UNINA-9910437569203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / / edited by Philipp Reinecke, Antinisca Di Marco |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVI, 299 p. 103 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer 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 |
ISBN | 3-319-66583-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems.-Performance, energy and security. |
Record Nr. | UNINA-9910484401603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / / edited by Philipp Reinecke, Antinisca Di Marco |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XVI, 299 p. 103 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer 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 |
ISBN | 3-319-66583-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems.-Performance, energy and security. |
Record Nr. | UNISA-996465873703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Performance Engineering [[electronic resource] ] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVIII, 221 p. 90 illus.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-46433-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis and Fitting Methods -- Computer Systems and Networking -- Modeling and Analysis of Human Behavior -- Modeling and Simulation Tools. |
Record Nr. | UNINA-9910484679503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVIII, 221 p. 90 illus.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-46433-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Analysis and Fitting Methods -- Computer Systems and Networking -- Modeling and Analysis of Human Behavior -- Modeling and Simulation Tools. |
Record Nr. | UNISA-996466250103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Performance Engineering [[electronic resource] ] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 307 p. 102 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-23267-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Applications I -- A Markovian Queueing System for Modeling a Smart Green Base Station -- 1 Introduction -- 2 The Model -- 3 Process of the System State -- 4 Stationary Solution -- 4.1 Algorithms for Stationary Probabilities -- 4.2 Performance Metrics -- 4.3 Numerical Example -- 5 First Passage Times -- 6 An Approximated Product-form Model -- 7 Conclusion -- References -- Static and Dynamic Hosting of Cloud Servers -- 1 Introduction -- 2 Static and Dynamic Policies -- 2.1 Queued Jobs -- 3 Virtual Machines Do Not Move -- 4 Conclusion -- References -- Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing Attacks -- 1 Introduction -- 2 System Overview and The Model -- 2.1 Behavior of System and Attackers -- 2.2 The System Model -- 3 Metrics -- 3.1 Security Metrics -- 3.2 Performance Metrics -- 3.3 Tradeoff Metric -- 4 Model Analysis -- 4.1 CTMC Steady-State Probability Computation -- 4.2 CTMC with Absorbing State - MTTSF Analysis -- 4.3 Throughput Analysis -- 5 Numerical Results -- 6 Conclusion and Future Work -- References -- Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3 -- 1 Introduction -- 2 The ERTMS/ETCS L3 Case-Study -- 3 Non-Markovian Modeling and Analysis -- 3.1 Stochastic Time Petri Nets -- 3.2 Regenerative Transient Analysis Through Stochastic State Classes -- 4 Performability Evaluation of ERTMS/ETCS Level 3 -- 4.1 A Non-Markovian Model of Communication Availability -- 4.2 Evaluation of the Communication Availability Model -- 4.3 A Non-Markovian Model of ERTMS/ETCS Level 3 -- 4.4 Evaluation of the ERTMS/ETCS Level 3 Model -- 5 Conclusions -- References -- Modelling Techniques I -- Simplifying Layered Queuing Network Models -- 1 Introduction -- 2 Related Work -- 3 The Layered Queuing Network (LQN) Model -- 4 The Simplification Process.
4.1 Details of the Operations: Example 1 -- 4.2 Details of the Operations: Example 2 -- 5 Case Study -- 6 Conclusions -- References -- Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems -- 1 Introduction -- 2 Background -- 2.1 Scheduling -- 2.2 PS Applications -- 2.3 Queueing Models -- 2.4 Response Times -- 3 Related Work on Response Times -- 4 Moment-Generating Algorithm -- 5 Multi-Class Algorithm -- 6 Case Studies -- 7 Conclusion and Future Work -- References -- On Generalized Processor Sharing and Objective Functions: Analytical Framework -- 1 Introduction -- 2 Analytical Framework -- 3 Some Illustrative Examples -- 4 Framework Application -- 5 Achieving a Specific Performance Vector -- 6 Conclusions -- References -- Software Performance -- Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques -- 1 Introduction -- 2 Extracting Resource Demands -- 2.1 Performance Management Work - Tools Monitoring -- 2.2 Dynatrace Application Monitoring -- 2.3 Library for Resource Demand Estimation -- 3 Evaluation -- 3.1 Standalone Evaluation -- 3.2 Distributed Setup -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Estimating the Impact of Code Additions on Garbage Collection Overhead -- 1 Introduction -- 2 Garbage Collection Essentials -- 3 Modeling Garbage Collection Overhead -- 3.1 Reconstructing Allocation Behavior -- 3.2 Considering Additional Allocations -- 3.3 Estimating Collection Time -- 4 Evaluation and Discussion -- 4.1 Methodology and Metrics -- 4.2 Workloads -- 4.3 Measurement Platform and Results -- 4.4 Results Discussion -- 5 Related Work -- 6 Conclusion -- References -- Performance Awareness in Java EE Development Environments -- 1 Introduction -- 2 Performance Awareness Approach -- 2.1 Developer Interaction -- 2.2 Model Creation -- 2.3 Data Collection and Aggregation. 2.4 Performance Simulation -- 3 Evaluation -- 3.1 Experiment Setup -- 3.2 Experiment Results -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Modelling Techniques II -- Canonical Form of Order-2 Non-stationary Markov Arrival Processes -- 1 Introduction -- 2 Theoretical Background -- 3 Previous Results for MAP(2) and RAP(2) Processes -- 4 Canonical Form of Order-2 NMAP -- 5 Equivalence of the NMAP(2) and NRAP(2) Classes -- 6 Conclusion -- References -- Markov Decision Petri Nets with Uncertainty -- 1 Objectives and Contributions -- 2 Background -- 3 Markov Decision Petri Net with Uncertainty -- 4 Case Study -- 5 Conclusions -- References -- On-the-fly Fluid Model Checking via Discrete Time Population Models -- 1 Introduction -- 2 Population Models -- 2.1 Continuous Time Population Models -- 2.2 Discrete Time Population Models -- 2.3 Relationship Between the Models -- 3 Properties of Individual Objects -- 4 Fluid Model Checking via Discrete Time Models -- 5 Benchmark Examples and Comparison -- 5.1 A Computer Worm Epidemic Model -- 5.2 A Client-Server Model -- 6 Related Work -- 7 Conclusions -- References -- Computing Response Time Distributions Using Iterative Probabilistic Model Checking -- 1 Introduction -- 2 Problem Statement and Case Study -- 2.1 Service-Oriented Systems -- 2.2 Performance Questions -- 3 A Formal Model for Service Systems -- 3.1 iDSL Language Syntax -- 3.2 iDSL Model of iXR Systems -- 3.3 Three Sampling Methods for Measurements -- 3.4 Performance Queries in iDSL -- 3.5 Translation to Modest -- 4 Computing Response Time Distributions -- 4.1 From iDSL Queries to Modest -- 4.2 Aggregating Latencies of Service Requests -- 4.3 Iterative Model Checking for Probability Bounds -- 4.4 Transforming Bounds into a Set of Possible CDFs -- 4.5 Answering the Performance Queries Using the CDFs -- 5 Case Study Results. 6 Conclusion -- References -- Applications II -- iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems -- 1 Introduction -- 2 Methodology -- 3 Measurements and Emperical CDFs -- 3.1 Measuring Activities on a Real System -- 3.2 Grouping Activities into Execution Times -- 3.3 Using Execution Times to Estimate eCDFs -- 3.4 Predicting eCDFs for the Complete Design Space -- 4 Extending the iDSL Language and Solution Chain -- 4.1 The iDSL Model of iXR Systems -- 4.2 Automated Prediction of eCDFs for the Complete Design Space -- 4.3 Automated Aggregation of Latencies -- 5 Results of a Case Study on iXR Systems -- 5.1 The Performance of an iXR System -- 5.2 The Validity and Applicability of the iDSL Model -- 6 Conclusions and Future Work -- References -- Stream Processing on Demand for Lambda Architectures -- 1 Introduction -- 2 Stream Processing On Demand -- 2.1 Data Processing in the Lambda Architecture -- 2.2 Decision-Making Model -- 3 Experimental Validation -- 3.1 Use Case and Design Options -- 3.2 Implementation of the Batch Layer -- 3.3 Performance Model Prototype -- 3.4 Controlled Experiment -- 4 Related Work -- 5 Conclusion and Future Work -- References -- An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres -- 1 Introduction -- 2 System Description -- 3 Data Center Models -- 3.1 Model Overview -- 3.2 IT Equipment Model -- 3.3 Cascade Model -- 3.4 Workload -- 3.5 Power Management Strategies -- 3.6 Power-Performance Metrics -- Power Consumption. -- Response Time. -- Power State Utilisation. -- 3.7 Visualisation -- 4 Results -- 4.1 Case Study: Computational Cluster -- 4.2 Model Validation -- 5 Conclusions and Future Work -- References -- Simulation Techniques -- Rare Event Simulation with Fully Automated Importance Splitting -- 1 Introduction -- 2 Formal Models and Properties -- 3 Stopping Criteria. 4 Rare Event Simulation Through Importance Splitting -- 5 Fully Automated Importance Splitting -- 6 Experimental Validation -- 7 Concluding Remarks -- References -- Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction -- 1 Introduction -- 2 A Brief Introduction of PCTMC -- 3 Directed Relation Graph with Error Propagation -- 3.1 Group-Based Direct Coupling Coefficient -- 3.2 Indirect Coupling Coefficient -- 4 Statistical Model Reduction -- 4.1 Statistical Transition Rate Evaluation -- 4.2 Model Reduction Algorithms -- Algorithm with Fixed Length Sampling. -- Algorithm with Flexible Length Sampling. -- 4.3 Comparison of the Two Algorithms -- 5 Modelling Language and Model Definition -- 5.1 PALOMA -- 5.2 Model Definition -- 6 Experiments -- 6.1 Discussion -- 7 Conclusion -- References -- Author Index. |
Record Nr. | UNINA-9910483293603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Performance Engineering [[electronic resource] ] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 307 p. 102 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-23267-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Applications I -- A Markovian Queueing System for Modeling a Smart Green Base Station -- 1 Introduction -- 2 The Model -- 3 Process of the System State -- 4 Stationary Solution -- 4.1 Algorithms for Stationary Probabilities -- 4.2 Performance Metrics -- 4.3 Numerical Example -- 5 First Passage Times -- 6 An Approximated Product-form Model -- 7 Conclusion -- References -- Static and Dynamic Hosting of Cloud Servers -- 1 Introduction -- 2 Static and Dynamic Policies -- 2.1 Queued Jobs -- 3 Virtual Machines Do Not Move -- 4 Conclusion -- References -- Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing Attacks -- 1 Introduction -- 2 System Overview and The Model -- 2.1 Behavior of System and Attackers -- 2.2 The System Model -- 3 Metrics -- 3.1 Security Metrics -- 3.2 Performance Metrics -- 3.3 Tradeoff Metric -- 4 Model Analysis -- 4.1 CTMC Steady-State Probability Computation -- 4.2 CTMC with Absorbing State - MTTSF Analysis -- 4.3 Throughput Analysis -- 5 Numerical Results -- 6 Conclusion and Future Work -- References -- Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3 -- 1 Introduction -- 2 The ERTMS/ETCS L3 Case-Study -- 3 Non-Markovian Modeling and Analysis -- 3.1 Stochastic Time Petri Nets -- 3.2 Regenerative Transient Analysis Through Stochastic State Classes -- 4 Performability Evaluation of ERTMS/ETCS Level 3 -- 4.1 A Non-Markovian Model of Communication Availability -- 4.2 Evaluation of the Communication Availability Model -- 4.3 A Non-Markovian Model of ERTMS/ETCS Level 3 -- 4.4 Evaluation of the ERTMS/ETCS Level 3 Model -- 5 Conclusions -- References -- Modelling Techniques I -- Simplifying Layered Queuing Network Models -- 1 Introduction -- 2 Related Work -- 3 The Layered Queuing Network (LQN) Model -- 4 The Simplification Process.
4.1 Details of the Operations: Example 1 -- 4.2 Details of the Operations: Example 2 -- 5 Case Study -- 6 Conclusions -- References -- Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems -- 1 Introduction -- 2 Background -- 2.1 Scheduling -- 2.2 PS Applications -- 2.3 Queueing Models -- 2.4 Response Times -- 3 Related Work on Response Times -- 4 Moment-Generating Algorithm -- 5 Multi-Class Algorithm -- 6 Case Studies -- 7 Conclusion and Future Work -- References -- On Generalized Processor Sharing and Objective Functions: Analytical Framework -- 1 Introduction -- 2 Analytical Framework -- 3 Some Illustrative Examples -- 4 Framework Application -- 5 Achieving a Specific Performance Vector -- 6 Conclusions -- References -- Software Performance -- Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques -- 1 Introduction -- 2 Extracting Resource Demands -- 2.1 Performance Management Work - Tools Monitoring -- 2.2 Dynatrace Application Monitoring -- 2.3 Library for Resource Demand Estimation -- 3 Evaluation -- 3.1 Standalone Evaluation -- 3.2 Distributed Setup -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Estimating the Impact of Code Additions on Garbage Collection Overhead -- 1 Introduction -- 2 Garbage Collection Essentials -- 3 Modeling Garbage Collection Overhead -- 3.1 Reconstructing Allocation Behavior -- 3.2 Considering Additional Allocations -- 3.3 Estimating Collection Time -- 4 Evaluation and Discussion -- 4.1 Methodology and Metrics -- 4.2 Workloads -- 4.3 Measurement Platform and Results -- 4.4 Results Discussion -- 5 Related Work -- 6 Conclusion -- References -- Performance Awareness in Java EE Development Environments -- 1 Introduction -- 2 Performance Awareness Approach -- 2.1 Developer Interaction -- 2.2 Model Creation -- 2.3 Data Collection and Aggregation. 2.4 Performance Simulation -- 3 Evaluation -- 3.1 Experiment Setup -- 3.2 Experiment Results -- 4 Related Work -- 5 Conclusion and Future Work -- References -- Modelling Techniques II -- Canonical Form of Order-2 Non-stationary Markov Arrival Processes -- 1 Introduction -- 2 Theoretical Background -- 3 Previous Results for MAP(2) and RAP(2) Processes -- 4 Canonical Form of Order-2 NMAP -- 5 Equivalence of the NMAP(2) and NRAP(2) Classes -- 6 Conclusion -- References -- Markov Decision Petri Nets with Uncertainty -- 1 Objectives and Contributions -- 2 Background -- 3 Markov Decision Petri Net with Uncertainty -- 4 Case Study -- 5 Conclusions -- References -- On-the-fly Fluid Model Checking via Discrete Time Population Models -- 1 Introduction -- 2 Population Models -- 2.1 Continuous Time Population Models -- 2.2 Discrete Time Population Models -- 2.3 Relationship Between the Models -- 3 Properties of Individual Objects -- 4 Fluid Model Checking via Discrete Time Models -- 5 Benchmark Examples and Comparison -- 5.1 A Computer Worm Epidemic Model -- 5.2 A Client-Server Model -- 6 Related Work -- 7 Conclusions -- References -- Computing Response Time Distributions Using Iterative Probabilistic Model Checking -- 1 Introduction -- 2 Problem Statement and Case Study -- 2.1 Service-Oriented Systems -- 2.2 Performance Questions -- 3 A Formal Model for Service Systems -- 3.1 iDSL Language Syntax -- 3.2 iDSL Model of iXR Systems -- 3.3 Three Sampling Methods for Measurements -- 3.4 Performance Queries in iDSL -- 3.5 Translation to Modest -- 4 Computing Response Time Distributions -- 4.1 From iDSL Queries to Modest -- 4.2 Aggregating Latencies of Service Requests -- 4.3 Iterative Model Checking for Probability Bounds -- 4.4 Transforming Bounds into a Set of Possible CDFs -- 4.5 Answering the Performance Queries Using the CDFs -- 5 Case Study Results. 6 Conclusion -- References -- Applications II -- iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems -- 1 Introduction -- 2 Methodology -- 3 Measurements and Emperical CDFs -- 3.1 Measuring Activities on a Real System -- 3.2 Grouping Activities into Execution Times -- 3.3 Using Execution Times to Estimate eCDFs -- 3.4 Predicting eCDFs for the Complete Design Space -- 4 Extending the iDSL Language and Solution Chain -- 4.1 The iDSL Model of iXR Systems -- 4.2 Automated Prediction of eCDFs for the Complete Design Space -- 4.3 Automated Aggregation of Latencies -- 5 Results of a Case Study on iXR Systems -- 5.1 The Performance of an iXR System -- 5.2 The Validity and Applicability of the iDSL Model -- 6 Conclusions and Future Work -- References -- Stream Processing on Demand for Lambda Architectures -- 1 Introduction -- 2 Stream Processing On Demand -- 2.1 Data Processing in the Lambda Architecture -- 2.2 Decision-Making Model -- 3 Experimental Validation -- 3.1 Use Case and Design Options -- 3.2 Implementation of the Batch Layer -- 3.3 Performance Model Prototype -- 3.4 Controlled Experiment -- 4 Related Work -- 5 Conclusion and Future Work -- References -- An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres -- 1 Introduction -- 2 System Description -- 3 Data Center Models -- 3.1 Model Overview -- 3.2 IT Equipment Model -- 3.3 Cascade Model -- 3.4 Workload -- 3.5 Power Management Strategies -- 3.6 Power-Performance Metrics -- Power Consumption. -- Response Time. -- Power State Utilisation. -- 3.7 Visualisation -- 4 Results -- 4.1 Case Study: Computational Cluster -- 4.2 Model Validation -- 5 Conclusions and Future Work -- References -- Simulation Techniques -- Rare Event Simulation with Fully Automated Importance Splitting -- 1 Introduction -- 2 Formal Models and Properties -- 3 Stopping Criteria. 4 Rare Event Simulation Through Importance Splitting -- 5 Fully Automated Importance Splitting -- 6 Experimental Validation -- 7 Concluding Remarks -- References -- Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction -- 1 Introduction -- 2 A Brief Introduction of PCTMC -- 3 Directed Relation Graph with Error Propagation -- 3.1 Group-Based Direct Coupling Coefficient -- 3.2 Indirect Coupling Coefficient -- 4 Statistical Model Reduction -- 4.1 Statistical Transition Rate Evaluation -- 4.2 Model Reduction Algorithms -- Algorithm with Fixed Length Sampling. -- Algorithm with Flexible Length Sampling. -- 4.3 Comparison of the Two Algorithms -- 5 Modelling Language and Model Definition -- 5.1 PALOMA -- 5.2 Model Definition -- 6 Experiments -- 6.1 Discussion -- 7 Conclusion -- References -- Author Index. |
Record Nr. | UNISA-996200361803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Performance Engineering [[electronic resource] ] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / / edited by András Horváth, Katinka Wolter |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 271 p. 93 illus.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Mathematical statistics Computer logic Software engineering Computer simulation System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
ISBN | 3-319-10885-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cloud Performance Modelling -- Optimal Hiring of Cloud Servers -- Performance Evaluation of NoSQL Databases -- Queueing and Fluid Models -- A Systematic Approach for Composing General Middleware Completions to Performance Models -- Vacation and Polling Models with Retrials -- Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline -- Performance of Computation and Programming Use of a Levy Distribution for Modeling Best Case Execution Time Variation -- On the Predictive Properties of Performance Models Derived through Input-Output Relationships -- Deriving Work Plans for Solving Performance and Scalability Problems -- Fitting -- Dealing with Zero Density Using Piecewise Phase-Type Approximation -- Uncertainty in On-The-Fly Epidemic Fitting -- Urban Traffic Modelling -- Performance Modeling of Intelligent Car Parking Systems -- Formal Punctuality Analysis of Frequent Bus Services Using Headway Data -- Decision Making -- Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues -- A Decision Making Model of Influencing Behavior in Information Security -- Automated Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of Global Reachability Probabilities of Markov Population Models -- Explicit State Space and Markov Chain Generation Using Decision Diagrams -- Non-Markovian Modeling of a BladeCenter Chassis Midplane. |
Record Nr. | UNINA-9910484443703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|