NDLI: Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes

Please wait, while we are loading the content...

2012 Ninth International Conference on Quantitative Evaluation of Systems

2011 Eighth International Conference on Quantitative Evaluation of SysTems

2010 Seventh International Conference on the Quantitative Evaluation of Systems

2009 Sixth International Conference on the Quantitative Evaluation of Systems

Table of Contents

Message from the General Chair

Message from the Program Committee Co-chairs

Steering Committee

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems

Infinite-State Verification: From Transition Systems to Markov Chains

Analyzing Large Sparse Markov Chains of Kronecker Products

An Introduction to Monte Carlo Methods and Rare Event Simulation

Petri Net Analysis Using Decision Diagrams

Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization

Quantitative Model Checking of Systems with Degradation

Simulation-Based CTMC Model Checking: An Empirical Evaluation

On the Impact of Modelling Choices for Distributed Information Spread

A Heuristic Approach for Fitting MAPs to Moments and Joint Moments

Acyclic Minimality by Construction---Almost

Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes

TimerMeter: Quantifying Properties of Software Timers for System Analysis

Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach

A Performance Model of Zoned Disk Drives with I/O Request Reordering

Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling

Design Space Exploration for Java Processors with Cross-Profiling

COBAREA: The COpula-BAsed REliability and Availability Modeling Environment

Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes

Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Comparison of Two Output Models for the BMAP/MAP/1 Departure Process

Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets

The Ins and Outs of the Probabilistic Model Checker MRMC

Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

A Modest Approach to Checking Probabilistic Timed Automata

Generation of Counterexamples for Model Checking of Markov Decision Processes

Remote Job Management in the Möbius Modeling Framework

FlowSim Simulation Benchmarking Platform

PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems

Demultiplexing in Network Calculus- A Stochastic Scaling Approach

The Multi-branched Method of Moments for Queueing Networks

Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies

Mean-Field Analysis for the Evaluation of Gossip Protocols

On the Detection of Symmetries in Compositional Markov Models

Reachable State Space Generation for Structured Models which Use Functional Transitions

GTAexpress: A Software Package to Handle Kronecker Descriptors

Recent Extensions to Traviando

Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality

Language-Level Symmetry Reduction for Probabilistic Model Checking

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

The Bio-PEPA Tool Suite

Publisher's Information

2008 Fifth International Conference on Quantitative Evaluation of Systems

Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)

Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)

Second International Conference on the Quantitative Evaluation of Systems (QEST'05)

First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.

Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes

Content Provider	IEEE Xplore Digital Library
Author	Perez, J.F. Van Houdt, B.
Copyright Year	2009
Abstract	In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase space. This property is exploited to reduce the computation time to find the matrix R or G of the process. The reduction is done through the definition of a censored process which can be of the M/G/1- or GI/M/1-type. The approach is illustrated through examples that show the applicability and benefits of making use of the additional structure. The examples also show how these special structures arise naturally in the analysis of queuing systems. Even more substantial gains can be realized when we further restrict the class of QBD processes under consideration.
Starting Page	123
Ending Page	132
File Size	230434
Page Count	10
File Format	PDF
ISBN	9780769538082
DOI	10.1109/QEST.2009.18
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-09-13
Publisher Place	Hungary
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer science Design for quality Mathematics Performance analysis State-space methods Acceleration Structured Markov Chains Distributed computing MATLAB Equations Queueing analysis Quasi-Birth-and-Death processes
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in