<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Miguel A. Martínez-del-Amor</style></author><author><style face="normal" font="default" size="100%">David Orellana-Martín</style></author><author><style face="normal" font="default" size="100%">Ignacio Pérez-Hurtado</style></author><author><style face="normal" font="default" size="100%">Luis Valencia-Cabrera</style></author><author><style face="normal" font="default" size="100%">Agustín Riscos-Núñez</style></author><author><style face="normal" font="default" size="100%">Mario J. Pérez-Jiménez</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Thomas Hinze</style></author><author><style face="normal" font="default" size="100%">Grzegorz Rozenberg</style></author><author><style face="normal" font="default" size="100%">Arto Salomaa</style></author><author><style face="normal" font="default" size="100%">Claudio Zandron</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Design of Specific P Systems Simulators on GPUs</style></title><secondary-title><style face="normal" font="default" size="100%">Membrane Computing</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1007/978-3-030-12797-8_14</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Cham</style></pub-location><volume><style face="normal" font="default" size="100%">11399</style></volume><pages><style face="normal" font="default" size="100%">202–207</style></pages><isbn><style face="normal" font="default" size="100%">978-3-030-12797-8</style></isbn><abstract><style face="normal" font="default" size="100%">In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having efficient simulation tools is crucial, and for this purpose, parallel platforms should be employed. So far, several parallel simulators for P systems have been developed, specifically targeting GPUs (Graphics Processing Units). Although being a hot topic within Membrane Computing, mapping P system parallelism on GPUs is still not a mature area. In the past, we have successfully accelerated the simulation of two specific families of P systems solving SAT with GPUs, and learned in the process some semantics ingredients that fit well on these parallel devices. We are extending this exploration by designing an specific simulator of a P system model for the FACTORIZATION problem. In this paper, we analyse the two main approaches for simulators, and depict some design decisions required for this case study.</style></abstract><issue><style face="normal" font="default" size="100%">2-3</style></issue></record></records></xml>