Welcome To UTPedia

We would like to introduce you, the new knowledge repository product called UTPedia. The UTP Electronic and Digital Intellectual Asset. It stores digitized version of thesis, final year project reports and past year examination questions.

Browse content of UTPedia using Year, Subject, Department and Author and Search for required document using Searching facilities included in UTPedia. UTPedia with full text are accessible for all registered users, whereas only the physical information and metadata can be retrieved by public users. UTPedia collaborating and connecting peoples with university’s intellectual works from anywhere.

Disclaimer - Universiti Teknologi PETRONAS shall not be liable for any loss or damage caused by the usage of any information obtained from this web site.Best viewed using Mozilla Firefox 3 or IE 7 with resolution 1024 x 768.

MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS

,, ARPIT (2015) MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS. Masters thesis, Universiti Teknologi PETRONAS.

[img] PDF
Restricted to Registered users only

Download (7Mb)

Abstract

This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements both internal as well as external non-determinism. CPRA implements reversibility by introducing a memory structure organized in the form of stack. Memories take care of backward synchronization and at the same time maximally flexible. This fact is proved under the consistency of the memories. The resolution of the non-determinism is necessary for the probabilistic analysis which leads to the probabilistic characterization of the traces of the CPRA. Hence, a probability measure space has been constructed on the set of infinite traces of the CPRA. The probability measure space developed here is true irrespective of how non-determinism is resolved.

Item Type: Thesis (Masters)
Academic Subject : Academic Department - Information Communication Technology
Subject: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Sciences and Information Technology > Computer and Information Sciences
Depositing User: Ahmad Suhairi Mohamed Lazim
Date Deposited: 20 Sep 2021 09:01
Last Modified: 20 Sep 2021 09:01
URI: http://utpedia.utp.edu.my/id/eprint/21471

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...