Analytical and Stochastic Modeling Techniques and Applications
18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings
Published on 12. June 2011
XI, 347 pages
978-3-642-21713-5 (ISBN)
Description
This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications, ASMTA 2011, held in Venice, Italyin June 2011.The 24 revised full papers presented were carefully reviewed and selected from many submissions.The papers are organized in topical sections on queueing theory, software and computer systems, statistics and inference, telecommunication networks, and performance and performability.
More details
Other editions
Additional editions
Khalid Al-Begain | Simonetta Balsamo | Dieter Fiems
Analytical and Stochastic Modeling Techniques and Applications
18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings
Book
06/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Queueing Theory I
- Departure Process in Finite-Buffer Queue with Batch Arrivals
- Introduction
- System Description and Potential Approach
- System of Integral Equations for Departure Process
- Limit Theorem
- Numerical Results
- References
- A Two-Class Continuous-Time Queueing Model with Dedicated Servers and Global FCFS Service Discipline
- Introduction
- Mathematical Model
- System with a Global FCFS Service Discipline
- System State Diagram and Balance Equations
- Analysis of the System
- System without Global FCFS
- Network Model
- Analysis of the System
- Comparison of Models and Numerical Examples
- Conclusions and Future Work
- References
- M/G/1 Queue with Exponential Working Vacation and Gated Service
- Introduction
- Model Description
- The Stationary Number of Customers at the End of Vacation Period
- Transient Behavior of the M/G/1 Queue
- Evolution of the System over the Vacation Period
- Computation of f(z)
- The Stationary Number of Customers at an Arbitrary Epoch
- The Stationary Number of Customers in the Service Period
- The Stationary Number of Customers in the Vacation Period
- Computation of q(z)
- The Stationary Waiting Time
- References
- Software and Computer Systems
- The Application of FSP Models in Automatic Optimization of Software Deployment
- Introduction
- Related Works
- Deployment Methodology
- Performance Function
- Implementation
- Case Study: An Accounting Web Application
- Discussion
- Conclusion
- References
- Model-Based Decision Framework for Autonomous Application Migration
- Introduction
- Background on the Migration Process
- Model of the Migratory Framework
- Design of the Decision Framework
- State Estimation and Prediction
- Reward Model
- Instantaneous Policy Generation
- Markov Decision Process Policy Generation
- Case Study and Numerical Results
- Simulation Model
- Generation Approach Impact on Generated Policies
- Generation Approach Impact on Application Quality
- State Estimation Accuracy
- Inaccurate State Estimation Impact on Performance
- Conclusion and Future Work
- References
- Optimisation of Virtual Machine Garbage Collection Policies
- Introduction
- Theoretical Background
- Neuts' Matrix Geometric Method
- Quasi-Birth and Death Processes
- Model Definition and Analysis
- Heuristic for Minimal Average Response Time
- Numerical Examples
- Conclusion
- References
- Queueing Theory II
- Performance Evaluation of a Single Node with General Arrivals and Service
- Introduction and State of the Art
- Model and Its Solution
- Performance of the Proposed Approach
- Conclusion
- References
- Tandem Queueing System with Different Types of Customers
- Introduction
- Model Description
- Process of the System States
- Stationary Distribution
- Performance Measures
- Numerical Results
- Conclusion
- References
- Fast Evaluation of Appointment Schedules for Outpatients in Health Care
- Introduction
- Situation
- Modelling Issues
- Schedule Optimalisation
- Discrete-Time Model and Assumptions
- Evaluation of an Appointment Schedule
- Model Description
- Analysis
- Examples
- Assisted Sequential Scheduling
- Cost Function
- Sequential vs. Advance Scheduling
- Visualisation of Mean Performance
- Examples
- Conclusions
- References
- Statistics and Inference
- Technique of Statistical Validation of Rival Models for Fatigue Crack Growth Process and Its Identification
- Introduction
- Formulation of Models for the Fatigue Crack Growth Process
- Deterministic Models for the Fatigue Crack Growth Process
- Stochastic Models for the Fatigue Crack Growth Process
- Conceptual Model Validation
- Statistical Estimation of the Unknown Parameters
- Goodness-of-Fit Testing for the Normality Assumption
- Operational Model Validation
- Hypotheses for Testing the Operational Validity
- Statistic for Testing the Operational Validity
- Test for the Operational Validity
- Fatigue Crack Growth Process Identification
- Example
- Validation of Models 1 and 2 for the Fatigue Crack Growth Process
- Identification of the Fatigue Crack Growth Process
- Planning Inspections in Service of Fatigued Structures
- Conclusion
- References
- Suitability of the M/G/8 Process for Modeling Scalable H.264 Video Traffic
- Introduction
- M/G/ Process
- Whittle Estimator
- M/G/-Based Models
- Modeling H.264/SVC Video Traffic at the GoP Level
- Conclusions and Further Work
- References
- Reconstructing Model Parameters in Partially-Observable Discrete Stochastic Systems
- Introduction
- Related Work
- Background
- PODS Models
- Analyzing PODS Systems
- Iterative Analysis Algorithm
- Symbolic Polynomial Analysis
- Experiments
- Computational Accuracy
- Computation Time
- Analysis of Ambiguous Systems
- Conclusion and Outlook
- Future Work
- References
- Queueing Theory III
- Performance Evaluation of a Kitting Process
- Introduction
- Model Description
- Analysis
- Balance Equations
- Performance Measures
- Methodology: The Sparse Matrix Techniques
- Numerical Results
- Bursty Part Arrivals
- Phase-Type Distributed Kitting Times
- Conclusion
- References
- Perfect Sampling of Phase-Type Servers Using Bounding Envelopes
- Introduction
- Simulation Method
- Perfect Sampling
- Bounding Envelopes
- Phase-Type Server
- Non Monotonicity of a Phase-Type Server
- Envelopes for Phase-Type Service Events
- Coupling of Phase-Type Systems Envelopes
- The Tandem Case
- Extension to Networks of Queues
- Experimental Results
- Conclusion
- References
- Monotone Queuing Networks and Time Parallel Simulation
- Introduction
- A Brief Introduction to Monotonicity in Simulation
- Monotone Networks of Queues
- Finite Queues Jackson Networks
- Index Based Routing, Poisson Arrivals and Exponential Services
- Monotone Phase Type Service Times, Exponential Arrivals
- Networks of G/G/1 Queues
- G-Networks of Queues with Positive and Negative Customers
- Conclusions
- References
- Telecommunication Networks I
- Traffic-Centric Modelling by IEEE 802.11 DCF Example
- Introduction
- Traffic-Centric Modelling
- System Behaviour
- DCF Behaviour as a Semi-Markov Process
- General Semi-Markov Theory
- SMP Model for the Example Network
- Calculating Common Performance Metrics
- Steady-State Analysis of the SMP
- Verification of the SMP Analysis
- Conclusion
- References
- Flexible Traffic Engineering in Full Mesh Networks: Analysis of the Gain in Throughput and Cost Savings
- Introduction: Traffic Engineering and Its Effect on Costs
- Modeling of Link Utilization during Bandwidth Upgrade Cycles
- Traffic Path Optimization for Upgrades in a Full Mesh
- Modeling and Analysis of Costs
- (Sub-)Linear Upgrade Cost Model with Exponential Decrease in Time
- Evaluation of Full and Stepwise Upgrades Based on the Cost Model
- Discussion of Cost Aspects for Special Cases and Extensions
- Failure Resilience: Throughput and Fast Redirection of Traffic Paths
- Conclusions
- References
- Investigation of the Reliability of Multiserver Computer Networks
- Introduction
- The Network Model
- The Main Results
- The Reliability of a Multiserver Computer Network
- References
- Performance and Performability
- Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools
- Introduction
- Related Works
- SIMTHESys Overview
- Exceptions in Multiformalism Models
- Exception-Enabled Models
- State-Based Exceptions
- Implementation
- Case Study
- A Motivating Example
- An Agri-Food Tracking System
- Conclusions and Future Work
- References
- The Impact of Input Error on the Scheduling of Task Graphs with Imprecise Computations in Heterogeneous Distributed Real-Time Systems
- Introduction
- Related Work
- Our Approach
- System and Workload Model
- Imprecise Computations Model
- Scheduling Strategy
- Task Selection Phase
- Processor Selection Phase
- Performance Evaluation
- Performance Parameters
- Task Graph Generation
- Simulation Input Parameters
- Simulation Results and Discussion
- Conclusions and Future Work
- References
- Simple Correlated Flow and Its Application
- Introduction
- Flow Analysis
- Flow Analysis: Special Case
- Markovian System
- Single-Server Queueing System
- Conclusions
- References
- Telecommunication Networks II
- A Practical Tree Algorithm with Successive Interference Cancellation for Delay Reduction in IEEE 802.16 Networks
- Introduction and Background
- System Model and Algorithms
- Conventional Tree Algorithms
- Successive Interference Cancellation
- Imperfect Interference Cancellation
- Proposed Throughput Calculation Technique
- General Procedure
- Baseline SICTA Algorithm
- Proposed R-SICTA Algorithm
- IEEE 802.16 Performance Improvement and Conclusions
- References
- A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
- Introduction
- The Calculus
- Measuring Energy Consumption
- Analysing the SW-ARQ and GBN-ARQ Protocols
- Conclusion
- References
- Size-Based Flow-Scheduling Using Spike-Detection
- Introduction
- Size-Based Scheduling Using Spike-Detection
- Related Work
- Spike-Detection Mechanism
- Integrated Packet/Spike Model
- Spike Level
- Packet Level
- Integrated Model
- Simulations: Goals and Settings
- Goals
- Settings
- Performance Analysis
- Efficiency
- Analysis Using Flow Metric
- Conclusions
- References
- Author Index
