Buscar
Mostrando ítems 1-2 de 2
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
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 ...