封面图片

MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS

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...

Saved in:

书目详细资料
主要作者:	,, ARPIT
格式:	Thesis
语言:	English
出版:	2016
主题:	QA75 Electronic computers. Computer science
在线阅读:	http://utpedia.utp.edu.my/id/eprint/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf http://utpedia.utp.edu.my/id/eprint/21471/
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
由: ,, ARPIT
出版: (2015)

Online signature verification using probabilistic modeling and neural network
由: Mohamed Ahsan , Amin
出版: (2010)

Automata for Modeling Reversible Probabilistic Processes
由: Arpit, Arpit, et al.
出版: (2013)

Concurrently controlled grammars
由: Mavlankulov, Gairatzhan, et al.
出版: (2018)

Probabilistic simple splicing systems
由: Selvarajoo, Mathuri, et al.
出版: (2014)

Probabilistic splicing systems
由: Turaev, Sherzod, et al.
出版: (2013)

Probabilistic splicing systems
由: Fong, Wan Heng, et al.
出版: (2014)

Probabilistic sticker systems
由: Selvarajoo, Mathuri, et al.
出版: (2013)

Some properties of the concurrent grammars
由: Mavlankulov, Gairatzhan, et al.
出版: (2014)

Concurrent context-free grammars
由: Mavlankulov, Gairatzhan, et al.
出版: (2014)

Probabilistic simple sticker systems
由: Selvarajoo, Mathuri, et al.
出版: (2017)

Automata for Modeling the Distributed Probabilistic Reversible Processes
由: Arpit, Arpit, et al.
出版: (2014)

The properties of probabilistic simple regular sticker system
由: Selvarajoo, Mathuri, et al.
出版: (2015)

Probabilistic regular sticker system and its properties
由: Selvarajoo, Mathuri, et al.
出版: (2014)

The generative capacity of probabilistic splicing systems
由: Selvarajoo, Mathuri, et al.
出版: (2015)

Performance analysis of concurrent transmission in multi-hop wireless mesh networks
由: Gannapathy, Vigneswara Rao, et al.
出版: (2009)

A probabilistic model for risk forecasting in Medical Informatics
由: Shahzad, Basit, et al.
出版: (2011)

Verification analysis of an agent based model in behaviour change process
由: Ojeniyi, Adegoke, et al.
出版: (2015)

Automata for modeling reversible probabilistic processes
由: Arpit,, et al.
出版: (2013)

Signal Noise Removal using Concurrent Algorithm
由: Hammuzamer Irwan , Hamzah, et al.
出版: (2008)

Some properties of probabilistic one-sided sticker systems
由: Selvarajoo, Mathuri, et al.
出版: (2014)

Online election system with fingerprint verification
由: Voon, Buang Hong.
出版: (2006)

Multibiometric systems based verification technique
由: Anwar, Farhat, et al.
出版: (2009)

Online election system with fingerprint verification
由: Voon, Buang Hong.
出版: (2006)

Multi-agent verification of RFID system
由: Selamat, Ali, et al.
出版: (2009)

Adaptive Concurrent Transmission Protocol for Wireless Mesh Network
由: Ibrahim, Mohd Sufiz, et al.
出版: (2010)

Biologically Inspired Signal Noise Elimination Using Human Ear Model with Concurrent Algorithm
由: Hammuzamer Irwan, Hamzah, et al.
出版: (2008)

Performance Analysis of Concurrent Transmission with Reducing Handshakes in Multihop Wireless Mesh Networks (WMNs)
由: Gannapathy, Vigneswara Rao, et al.
出版: (2009)

Metabolic pathway extraction using combined probabilistic models
由: Mohamed Salleh, Abdul Hakim, et al.
出版: (2012)

Some properties of probabilistic semi-simple splicing systems
由: Mathuri, S., et al.
出版: (2012)

Some characteristics of probabilistic one-sided splicing systems
由: Selvarajoo, Mathuri, et al.
出版: (2013)

Probabilistic semi-simple splicing system and its characteristics
由: Selvarajoo, Mathuri, et al.
出版: (2013)

Some properties of probabilistic one-sided sticker systems
由: Selvarajoo, Mathuri, et al.
出版: (2013)

Adaptive Concurrent Medium Access Control for Wireless Mesh Network
由: Ibrahim, Mohd Sufiz, et al.
出版: (2010)

Comparison on various concurrency platform with IO bound problem concurrent database insertion on multi-core machine
由: Low, Boon Wee
出版: (2011)

Two suggested probabilistic and kinetic models for astrocytic network in spiking neural networks
由: Abdul-Rahman Abed, Bassam, et al.
出版: (2020)

Computational power of probabilistic bidirectional sticker system in DNA computing
由: Selvarajoo, Mathuri, et al.
出版: (2015)

A Phonetic Analysis of Speaker Verification Systems through Phoneme selection and Integrated Gradients
由: Thomas, Thebaud, et al.
出版: (2024)

Signature verification system using support vector machine
由: Fauziyah, Salehuddin, et al.
出版: (2009)

Medical certificate verification system using QR code
由: Lai, Chong Lan
出版: (2014)