Buscar
Mostrando ítems 1-8 de 8
Ponencia
Simulation of Computing P Systems: A GPU Design for the Factorization Problem
(Friedrich-Schiller-Universität Jena, 2018)
Ponencia
New applications for an old tool
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
First, the dependency graph technique, not so far from its current application, was developed trying to nd the shortest computations for membrane systems solving instances of SAT. Certain families of membrane systems ...
Ponencia
11 years of P-Lingua: A backward glance
(Editura BIBLIOSTAR, 2019)
In 2008, P-Lingua was born. The Research Group on Natural Computing worked on the development of simulation tools since the beginning of Membrane Computing. However, back in 2007, researchers from the group set out to ...
Ponencia
P-Lingua Compiler: A Tool for Generating Ad-hoc Simulators in Membrane Computing
(Centre for Discrete Mathematics and Theoretical Computer Science, 2018)
Ponencia
Design of Specific P Systems Simulators on GPUs
(Springer, 2018)
In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having effi-cient simulation tools is crucial, and for this purpose, parallel platforms should be ...
Ponencia
A syntax for semantics in P-Lingua
(Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
P-Lingua is a software framework for Membrane Computing, it includes a programming language, also called P-Lingua, for writting P system de nitions using a syntax close to standard scienti c notation. The rst line of a ...
Ponencia
Dependency Graph Technique Revisited
(IMCS: International Membrane Computing Society, 2019)
The dependency graph technique was initially thought as a method to find short paths in the computation tree of a membrane system using weak metrics. It could be used to obtain reasonably fast SAT-solvers, capable of ...
Ponencia
Robot Path Planning using Rapidly-Exploring Random Trees: A Membrane Computing Approach
(IEEE Computer Society, 2018)
Methods based on Rapidly-exploring Random Trees (RRTs) have been in use in robotics to solve motion planning problems for nearly two decades. On the other hand, in the membrane computing framework, models based on ...