Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt
| Analytical and Stochastic Modeling Techniques and Applications [[electronic resource] ] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings / / edited by Khalid Al-Begain, Dieter Fiems, William Knottenbelt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 409 p. 132 illus.) |
| Disciplina | 004.6015118 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer networks Electronic digital computers—Evaluation Application software Computer science—Mathematics Mathematical statistics Algorithms Software Engineering Computer Communication Networks System Performance and Evaluation Computer and Information Systems Applications Probability and Statistics in Computer Science |
| ISBN |
1-280-38710-6
9786613565020 3-642-13568-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Queueing Theory I -- A Batch-Service Queueing Model with a Discrete Batch Markovian Arrival Process -- Queueing System MAP/PH/N with Propagated Failures -- Analysis of a Discrete-Time Queueing System with an NT-Policy -- Packet Loss Minimization in Load-Balancing Switch -- Queueing Theory II -- The Preemptive Repeat Hybrid Server Interruption Model -- Networks of Symmetric Multi-class Queues with Signals Changing Classes -- Product-Form Solutions for Models with Joint-State Dependent Transition Rates -- The qnetworks Toolbox: A Software Package for Queueing Networks Analysis -- Specification Languages and Tools -- Rewriting Logic Based Performance Estimation of Embedded Systems -- A Formal Language toward the Unification of Model Checking and Performance Evaluation -- Security Evaluation of Layered Intrusion Tolerant Systems -- Stochastic PERT and CAST Logic Approach for Computer Support of Complex Operation Planning -- Telecommunication Systems I -- Perfect Sampling of Load Sharing Policies in Large Scale Distributed Systems -- Stochastic Comparisons for Performability of Telecommunication Systems -- Model-Based Stochastic Simulation of P2P VoIP Using Graph Transformation System -- Performance Evaluation of Media Segmentation Heuristics Using Non-markovian Multi-class Arrival Processes -- Telecommmunication Systems II -- A Formal Approach to Investigate the Performance of Modern E-commerce Services -- Leader Election in Anonymous Radio Networks: Model Checking Energy Consumption -- Upper Bound on Overall Delay in Wireless Broadband Networks with Non Real-Time Traffic -- Estimation -- Robustness of the Whittle Estimator Applied to Non-Gaussian Long-Range Dependent Processes -- Service Time Estimation with a Refinement Enhanced Hybrid Clustering Algorithm -- Invariant Embedding Technique and Its Applications for Improvement or Optimization of Statistical Decisions -- Prediction -- Prediction Model Selection and Spare Parts Ordering Policy for Efficient Support of Maintenance and Repair of Equipment -- Prediction-Based Dynamic Target Interception Using Discrete Markov Chains -- Neural Networks as Surrogate Models for Measurements in Optimization Algorithms -- Stochastic Modelling -- Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras -- Analysis of an Automated Auction with Concurrent Multiple Unit Acceptance Capacity -- Congestive Collapse and Its Avoidance in a Dynamic Dial-a-Ride System with Time Windows. |
| Record Nr. | UNISA-996465660803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley
| Computer Performance Engineering : 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering [[electronic resource] ] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNISA-996466040003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin
| Computer Performance Engineering : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013, Proceedings / / edited by Maria Simonetta Balsamo, William Knottenbelt, Andrea Marin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 351 p. 114 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Computer simulation Energy policy Energy and state System Performance and Evaluation Software Engineering Computer Communication Networks Computer Modelling Energy Policy, Economics and Management |
| ISBN | 3-642-40725-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Antipatterns: State-of-Art and Future Perspectives -- Online Game Performance Engineering -- Stochastic Bounds and Histograms for Network Performance Analysis.- Analytic Performance Modeling and Optimization of Live VM Migration -- Towards Supervisory Control of Generally-Distributed Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics.- Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications.- Canonical Representation of Discrete Order 2 MAP and RAP.- Encoding Timed Models as Uniform Labeled Transition Systems.- A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure.- PMIF+: Extensions to Broaden the Scope of Supported Models.- Performance Regression Unit Testing: A Case Study.- Phase-Type Fitting Using HyperStar.- Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.- Performance Enhancement by Means of Task Replication.- Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.- End-to-End Performance of Multi-core Systems in Cloud Environments -- Performance Analysis and Formal Verification of Cognitive Wireless Networks.- Sliding Hidden Markov Model for Evaluating Discrete Data.- Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z.- Performance Evaluation for Collision Prevention Based on a Domain Specific Language.- An Approximate Mean Value Analysis Approach for System Management and Overload Control.- Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.- Applying Model Differences to Automate Performance-Driven Refactoring of Software Models.- Reduction of Subtask Dispersion in Fork-Join Systems.- SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems. |
| Record Nr. | UNINA-9910484488903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Research for Blockchain Economy : 1st International Conference MARBLE 2019, Santorini, Greece / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt
| Mathematical Research for Blockchain Economy : 1st International Conference MARBLE 2019, Santorini, Greece / / edited by Panos Pardalos, Ilias Kotsireas, Yike Guo, William Knottenbelt |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (viii, 249 pages) : illustrations |
| Disciplina | 005.824 |
| Collana | Springer Proceedings in Business and Economics |
| Soggetto topico |
Financial engineering
Game theory Computer science - Mathematics Econometrics Business enterprises - Finance Financial Engineering Game Theory Mathematical Applications in Computer Science Quantitative Economics Corporate Finance |
| ISBN | 3-030-37110-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topological analysis of bitcoin's lightning network -- Token locking for governance -- Collusion attack from hubs in the blockchain offline channel network -- Sharing of encrypted files in block chain made simpler -- Digital currencies: A multivariate GARCH approach -- Compact storage of superblocks for NIPoPoW applications -- On comparing the Influences of exogenous information on bitcoin prices and stock index values -- Performance of tip selection schemes in DAG blockchains -- Committing to quantum resistance, better: A speed-and-risk-configurable defence for bitcoin against a fast quantum computing attack -- Neural networks for cryptocurrency evaluation and price fluctuation forecasting -- Decentralized incentive-compatible and sybilproof transaction advertisement -- PoolSim: A discrete-event mining pool simulation framework -- Oceanic games: centralization risks and incentives in blockchain mining -- Smart contract-driven mechanism design to mitigate information diffusion in social networks -- Balancing cryptoassets and gold: A weighted-risk-contribution index for the alternative asset space -- An introduction to the use of zk-SNARKs in blockchains. |
| Record Nr. | UNINA-9910768162803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||