Simulating a Family of Tissue P Systems Solving SAT on the GPU

TitleSimulating a Family of Tissue P Systems Solving SAT on the GPU
Publication TypeConference Contributions
Year of Publication2013
AuthorsMartínez-del-Amor, M. A., Pérez-Carrasco J., & Pérez-Jiménez M. J.
Conference NameEleventh Brainstorming Week on Membrane Computing (11BWMC)
Volume TitleProceedings of the Eleventh Brainstorming Week on Membrane Computing (11BWMC)
ISBN Number978-84-940691-9-2
PublisherFénix Editora
Place PublishedSevilla, España
Date Published08/2013

In order to provide efficient 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 the inherently parallel nature
of the model. In this concern, today GPUs (Graphics Processing Unit) are considered as
highly parallel processors, and they are being consolidated as accelerators for scientifi c
applications. In fact, previous attempts to design P systems simulators on GPUs have
shown that a parallel architecture is better suited in performance than traditional single
In 2010, a GPU-based simulator was introduced for a family of P systems with active
membranes solving SAT in linear time. This is the starting point of this paper, which
presents a new GPU simulator for another polynomial-time solution to SAT by means of
tissue P systems with cell division, trading space for time. The aim of this simulator is
to further study which ingredients of di fferent P systems models are well suited to be
managed by the GPU.

KeywordsGPU Computing 1 Introduction, Membrane computing, SAT, Tissue P Systems