Loading...
Search for: discrete-time-markov-chains
0.01 seconds

    A probabilistic task scheduling method for grid environments

    , Article Future Generation Computer Systems ; Volume 28, Issue 3 , 2012 , Pages 513-524 ; 0167739X (ISSN) Entezari Maleki, R ; Movaghar, A ; Sharif University of Technology
    Abstract
    This paper presents a probabilistic task scheduling method to minimize the overall mean response time of the tasks submitted to the grid computing environments. Minimum mean response time of a given task can be obtained by finding a subset of appropriate computational resources to service the task. To achieve this, a discrete time Markov chain (DTMC) representing the task scheduling process within the grid environment is constructed. The connection probabilities between the nodes representing the grid managers and resources can be considered as transition probabilities of the obtained DTMC. Knowing the mean response times of the managers and resources, and finding fundamental matrix of the... 

    Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth

    , Article 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, 19 October 2020 through 23 October 2020 ; Volume 12302 LNCS , 2020 , Pages 253-270 Asadi, A ; Chatterjee, K ; Kafshdar Goharshady, A ; Mohammadi, K ; Pavlogiannis, A ; Sharif University of Technology
    Springer Science and Business Media Deutschland GmbH  2020
    Abstract
    Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the... 

    A new cross layer design of adaptive modulation and coding in finite buffer wireless links

    , Article 2007 International Conference on Future Generation Communication and Networking, FGCN 2007, Jeju Island, 6 December 2007 through 8 December 2007 ; Volume 1 , 2007 , Pages 499-504 ; 0769530486 (ISBN); 9780769530482 (ISBN) Ghavami, A ; Ashtiani, F ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2007
    Abstract
    In this paper, a cross-layer approach introducing new design parameters is developed for multi-rate wireless links. The novel design jointly exploits the finite-length queuing at the data link layer and the adaptation capability of the adaptive modulation and coding (AMC) scheme at the physical layer to optimize system performance for a wireless link. The analytical framework is based on discrete time Markov Chain. The performance metrics such as packet drop probability, channel packet error rate and packet loss rate are derived. Using these metrics, a constrained optimization problem is solved numerically to maximize the overall system throughput  

    Analytical evaluation of saturation throughput of a cognitive wlan overlaid on a time-scheduled ofdma network

    , Article IEEE Transactions on Mobile Computing ; Volume 16, Issue 3 , 2017 , Pages 634-647 ; 15361233 (ISSN) Rahimzadeh, P ; Ashtiani, F ; Sharif University of Technology
    Institute of Electrical and Electronics Engineers Inc  2017
    Abstract
    In this paper, we analyze the saturation throughput of a cognitive WLAN overlaid on a primary OFDMA TDD network (e.g., LTE or WiMAX). In this scenario, after the contention among the secondary nodes, the winner node transmits its data packet in the empty resource blocks (RBs) of downlink and uplink subframes of the primary network. Regarding the OFDMA structure as well as time-scheduled resources in the primary network, the time duration of opportunities for the secondary network does not follow simple exponential on-off pattern. To model the dynamic behavior of opportunities for secondary nodes as well as contentions to exploit the opportunities, we propose an analytical model comprised of...