dc.creator | Martínez del Amor, Miguel Ángel | es |
dc.creator | Orellana Martín, David | es |
dc.creator | Pérez Hurtado de Mendoza, Ignacio | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Riscos Núñez, Agustín | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2019-05-28T09:36:31Z | |
dc.date.available | 2019-05-28T09:36:31Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Martínez del Amor, M.Á., Orellana Martín, D., Pérez Hurtado, I., Valencia Cabrera, L., Riscos Núñez, A. y Pérez Jiménez, M.d.J. (2018). Design of Specific P Systems Simulators on GPUs. En CMC 2018: 19th International Conference on Membrane Computing (202-207), Dresden, Germany: Springer. | |
dc.identifier.isbn | 978-3-030-12796-1 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/86891 | |
dc.description.abstract | 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 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,
map-ping P system parallelism on GPUs is still not a mature area. In the past, we have
successfully accelerated the simulation of two specific fam-ilies 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. | es |
dc.description.sponsorship | Ministerio de Industria, Economía y Competitividad TIN2017-89842-P | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | CMC 2018: 19th International Conference on Membrane Computing (2018), p 202-207 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | P systems | es |
dc.subject | Parallel Simulation | es |
dc.subject | GPU Computing | es |
dc.title | Design of Specific P Systems Simulators on GPUs | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN2017-89842-P | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-12797-8_14 | es |
dc.identifier.doi | 10.1007/978-3-030-12797-8_14 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 6 | es |
dc.publication.initialPage | 202 | es |
dc.publication.endPage | 207 | es |
dc.eventtitle | CMC 2018: 19th International Conference on Membrane Computing | es |
dc.eventinstitution | Dresden, Germany | es |
dc.relation.publicationplace | Switzerland | es |