Buscar
Mostrando ítems 1-3 de 3
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 Modelling, Testing and Veri cation
(Fénix, 2016)
A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for ...
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 ...