AADL; Timed Automata; Transformation; Verification; Uppaal - Articles

KAMAR: A Lightweight Feistel Block Cipher Using Cellular Automata (Articles)

Jegadish Kumar Kailairajan Jeyaprakash, Joseph Gladwin Seka, Kamaraj Villayutham

Circuits and Systems Vol.7 No.4，April 20, 2016

DOI: 10.4236/cs.2016.74021 2,231 Downloads 4,042 Views Citations
Gray Level Image Edge Detection Using a Hybrid Model of Cellular Learning Automata and Stochastic Cellular Automata (Articles)

Nasim Vatani, Rasul Enayatifar

Open Access Library Journal Vol.2 No.1，January 23, 2015

DOI: 10.4236/oalib.1101203 855 Downloads 1,620 Views Citations
Tree Automata for Extracting Consensus from Partial Replicas of a Structured Document (Articles)

Maurice Tchoupé Tchendji, Milliam M. Zekeng Ndadji

Journal of Software Engineering and Applications Vol.10 No.5，May 26, 2017

DOI: 10.4236/jsea.2017.105025 1,593 Downloads 2,469 Views Citations
Study the effect of formulation variables in the development of timed-release press-coated tablets by Taguchi design (Articles)

Chikkanna Narendra, Mayasandra SrinavasaIyengar Srinath

Natural Science Vol.2 No.4，May 7, 2010

DOI: 10.4236/ns.2010.24046 6,874 Downloads 15,000 Views Citations
Modeling of Fuel Elements Cycling System in Pebble Bed Reactor Based on Timed Places Control Petri Nets (Articles)

Hongbing Liu, Peng Shen, Dong Du, Xin Wang, Haiquan Zhang

Energy and Power Engineering Vol.5 No.4B，October 29, 2013

DOI: 10.4236/epe.2013.54B098 4,644 Downloads 5,806 Views Citations
The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra (Articles)

Zvi Retchkiman Konigsberg

Journal of Applied Mathematics and Physics Vol.3 No.7，July 14, 2015

DOI: 10.4236/jamp.2015.37104 2,596 Downloads 3,199 Views Citations
Timed Petri Net Models of Shared-Memory Bus-Based Multiprocessors (Articles)

Wlodek M. Zuberek

Journal of Computer and Communications Vol.6 No.10，October 10, 2018

DOI: 10.4236/jcc.2018.610001 761 Downloads 1,720 Views Citations
This article belongs to the Special Issue on Computer Architecture
Modeling and Performance Analysis of Weighted Priority Queueing for Packet-Switched Networks (Articles)

Dariusz Strzeciwilk, Wlodek M. Zuberek

Journal of Computer and Communications Vol.6 No.11，November 23, 2018

DOI: 10.4236/jcc.2018.611019 763 Downloads 2,170 Views Citations
Parallel Self-Timed Adder with Lookahead-Carry Generator (Articles)

Mohammad Ashfak Habib

Open Access Library Journal Vol.7 No.9，September 23, 2020

DOI: 10.4236/oalib.1106799 484 Downloads 1,562 Views Citations
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.2 No.2，July 15, 2009

DOI: 10.4236/jsea.2009.22012 4,991 Downloads 8,490 Views Citations
Cellular Automata Simulation of Gap-Filler Dissolution during Transient Liquid Phase Bonding of Single Crystal Materials (Articles)

Adam Ghoneim, Olanrewaju Akanbi Ojo

Modeling and Numerical Simulation of Material Science Vol.2 No.2，April 16, 2012

DOI: 10.4236/mnsms.2012.22002 6,664 Downloads 13,485 Views Citations
Local Search Heuristics for NFA State Minimization Problem (Articles)

Andrey V. Tsyganov

Int'l J. of Communications, Network and System Sciences Vol.5 No.9A，September 18, 2012

DOI: 10.4236/ijcns.2012.529074 5,018 Downloads 7,640 Views Citations
This article belongs to the Special Issue on Models and Algorithms for Applications
A Collaborative Approach for LA-DHBMO (Articles)

Vahid Azadehgan, Payam Khanteimouri, Sorayya Akbari, Niusha Ghandehari

Applied Mathematics Vol.3 No.10A，November 1, 2012

DOI: 10.4236/am.2012.330203 4,814 Downloads 7,590 Views Citations
This article belongs to the Special Issue on Optimization
Harmony Search and Cellular Automata in Spatial Optimization (Articles)

Epaminondas Sidiropoulos

Applied Mathematics Vol.3 No.10A，November 1, 2012

DOI: 10.4236/am.2012.330213 3,657 Downloads 6,345 Views Citations
This article belongs to the Special Issue on Optimization
Best Response Games on Regular Graphs (Articles)

Richard Southwell, Chris Cannings

Applied Mathematics Vol.4 No.6，June 20, 2013

DOI: 10.4236/am.2013.46131 4,881 Downloads 7,310 Views Citations
Simulation of Topology Control Algorithms in Wireless Sensor Networks Using Cellular Automata (Articles)

Stavros Athanassopoulos, Christos Kaklamanis, Gerasimos Kalfountzos, Panagiota Katsikouli, Evi Papaioannou

Int'l J. of Communications, Network and System Sciences Vol.6 No.7，July 11, 2013

DOI: 10.4236/ijcns.2013.67036 5,112 Downloads 8,175 Views Citations
A Model of Cellular Automata for the Fuzzy Control of Aphids (Articles)

Magda da Silva Peixoto, Laécio Carvalho de Barros, Rodney Carlos Bassanezi

Applied Mathematics Vol.5 No.8，May 5, 2014

DOI: 10.4236/am.2014.58106 4,185 Downloads 5,557 Views Citations
Novel Adder Circuits Based On Quantum-Dot Cellular Automata (QCA) (Articles)

Firdous Ahmad, Ghulam Mohiuddin Bhat, Peer Zahoor Ahmad

Circuits and Systems Vol.5 No.6，June 13, 2014

DOI: 10.4236/cs.2014.56016 5,764 Downloads 8,419 Views Citations
Modeling Agricultural Change through Logistic Regression and Cellular Automata: A Case Study on Shifting Cultivation (Articles)

Santiago Lopez

Journal of Geographic Information System Vol.6 No.3，June 18, 2014

DOI: 10.4236/jgis.2014.63021 5,947 Downloads 7,799 Views Citations
Infinite Number of Disjoint Chaotic Subsystems of Cellular Automaton Rule 106 (Articles)

Gaocang Zhao, Fangyue Chen, Weifeng Jin

Applied Mathematics Vol.5 No.20，November 20, 2014

DOI: 10.4236/am.2014.520303 2,723 Downloads 3,579 Views Citations
This article belongs to the Special Issue on Nonlinear Systems

<...234 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies