表紙画像

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

保存先:

書誌詳細
第一著者:	,, ARPIT
フォーマット:	学位論文
言語:	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, 等
出版事項: (2013)

Concurrently controlled grammars
著者:: Mavlankulov, Gairatzhan, 等
出版事項: (2018)

Probabilistic simple splicing systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2014)

Probabilistic splicing systems
著者:: Turaev, Sherzod, 等
出版事項: (2013)

Probabilistic splicing systems
著者:: Fong, Wan Heng, 等
出版事項: (2014)

Probabilistic sticker systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2013)

Some properties of the concurrent grammars
著者:: Mavlankulov, Gairatzhan, 等
出版事項: (2014)

Concurrent context-free grammars
著者:: Mavlankulov, Gairatzhan, 等
出版事項: (2014)

Probabilistic simple sticker systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2017)

Automata for Modeling the Distributed Probabilistic Reversible Processes
著者:: Arpit, Arpit, 等
出版事項: (2014)

The properties of probabilistic simple regular sticker system
著者:: Selvarajoo, Mathuri, 等
出版事項: (2015)

Probabilistic regular sticker system and its properties
著者:: Selvarajoo, Mathuri, 等
出版事項: (2014)

The generative capacity of probabilistic splicing systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2015)

Performance analysis of concurrent transmission in multi-hop wireless mesh networks
著者:: Gannapathy, Vigneswara Rao, 等
出版事項: (2009)

A probabilistic model for risk forecasting in Medical Informatics
著者:: Shahzad, Basit, 等
出版事項: (2011)

Verification analysis of an agent based model in behaviour change process
著者:: Ojeniyi, Adegoke, 等
出版事項: (2015)

Automata for modeling reversible probabilistic processes
著者:: Arpit,, 等
出版事項: (2013)

Signal Noise Removal using Concurrent Algorithm
著者:: Hammuzamer Irwan , Hamzah, 等
出版事項: (2008)

Some properties of probabilistic one-sided sticker systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2014)

Online election system with fingerprint verification
著者:: Voon, Buang Hong.
出版事項: (2006)

Multibiometric systems based verification technique
著者:: Anwar, Farhat, 等
出版事項: (2009)

Online election system with fingerprint verification
著者:: Voon, Buang Hong.
出版事項: (2006)

Multi-agent verification of RFID system
著者:: Selamat, Ali, 等
出版事項: (2009)

Adaptive Concurrent Transmission Protocol for Wireless Mesh Network
著者:: Ibrahim, Mohd Sufiz, 等
出版事項: (2010)

Biologically Inspired Signal Noise Elimination Using Human Ear Model with Concurrent Algorithm
著者:: Hammuzamer Irwan, Hamzah, 等
出版事項: (2008)

Performance Analysis of Concurrent Transmission with Reducing Handshakes in Multihop Wireless Mesh Networks (WMNs)
著者:: Gannapathy, Vigneswara Rao, 等
出版事項: (2009)

Metabolic pathway extraction using combined probabilistic models
著者:: Mohamed Salleh, Abdul Hakim, 等
出版事項: (2012)

Some properties of probabilistic semi-simple splicing systems
著者:: Mathuri, S., 等
出版事項: (2012)

Some characteristics of probabilistic one-sided splicing systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2013)

Probabilistic semi-simple splicing system and its characteristics
著者:: Selvarajoo, Mathuri, 等
出版事項: (2013)

Some properties of probabilistic one-sided sticker systems
著者:: Selvarajoo, Mathuri, 等
出版事項: (2013)

Adaptive Concurrent Medium Access Control for Wireless Mesh Network
著者:: Ibrahim, Mohd Sufiz, 等
出版事項: (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, 等
出版事項: (2020)

Computational power of probabilistic bidirectional sticker system in DNA computing
著者:: Selvarajoo, Mathuri, 等
出版事項: (2015)

A Phonetic Analysis of Speaker Verification Systems through Phoneme selection and Integrated Gradients
著者:: Thomas, Thebaud, 等
出版事項: (2024)

Signature verification system using support vector machine
著者:: Fauziyah, Salehuddin, 等
出版事項: (2009)

Medical certificate verification system using QR code
著者:: Lai, Chong Lan
出版事項: (2014)