Buscar
Mostrando ítems 1-7 de 7
Ponencia
A Kernel P System
(Fénix Editora, 2012)
A basic P system, called kernel P system (kP system for short), covering features of different P systems introduced and studied so far is defined and discussed. It is a relatively low level specification system aiming ...
Ponencia
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
(Fénix Editora, 2012)
This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper ...
Ponencia
kPWorkbench: A Software Framework for Kernel P Systems
(Fénix Editora, 2015)
P systems are the computational models introduced in the context of membrane computing, a computational paradigm within the more general area of unconventional computing. Kernel P (kP) systems are de ned to unify the ...
Ponencia
Kernel P Systems - Version 1
(Fénix Editora, 2013)
A basic P system, called kernel P system4 (kP system for short), combining features of di erent P systems introduced and studied so far is de ned and discussed. The structure of such systems is de ned as a dynamic graph, ...
Ponencia
Mutation Based Testing of P Systems
(Fénix Editora, 2009)
Although testing is an essential part of software development, until recently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves ...
Ponencia
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
(Fénix Editora, 2014)
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates ...
Ponencia
Model Checking Based Test Generation from P Systems Using P-Lingua
(Fénix Editora, 2010)
This paper presents an approach for P system testing, that uses model- checking for automatic test generation and P-Lingua as specification language. This approach is based on a transformation of the transitional, ...