Buscar
Mostrando ítems 1-2 de 2
Artículo
Simulating a P system based efficient solution to SAT by using GPUs
(Elsevier, 2010)
P systems are inherently parallel and non-deterministic theoretical computing devices defined inside the field of Membrane Computing. Many P system simulators have been presented in this area, but they are inefficient since ...
Ponencia
Simulating a Family of Tissue P Systems Solving SAT on the GPU
(Fénix Editora, 2013)
In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. Parallel computing platforms are good candidates, since they are capable of partially implementing ...