dc.creator | Cecilia, José M. | es |
dc.creator | García, José M. | es |
dc.creator | Guerrero, Ginés D. | es |
dc.creator | Martínez del Amor, Miguel Ángel | es |
dc.creator | Pérez Hurtado de Mendoza, Ignacio | es |
dc.creator | Pérez Jiménez, Mario de Jesús | |
dc.date.accessioned | 2018-01-17T11:07:20Z | |
dc.date.available | 2018-01-17T11:07:20Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez del Amor, M.Á. y Pérez Hurtado de Mendoza, I. (2010). Simulating a P system based efficient solution to SAT by using GPUs. The Journal of Logic and Algebraic Programming, 79 (6), 317-325. | |
dc.identifier.issn | 1567-8326 | es |
dc.identifier.uri | https://hdl.handle.net/11441/69099 | |
dc.description.abstract | 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 they cannot handle the parallelism of these devices. Nowadays, we are witnessing the consolidation of the GPUs as a parallel framework to compute general purpose applications. In this paper, we analyse GPUs as an alternative parallel architecture to improve the performance in the simulation of P systems, and we illustrate it by using the case study of a family of P systems that provides an efficient and uniform solution to the SAT problem. Firstly, we develop a simulator that fully simulates the computation of the P system, demonstrating that GPUs are well suited to simulate them. Then, we adapt this simulator to the GPU architecture idiosyncrasies, improving the performance of the previous simulator. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009–13192 | es |
dc.description.sponsorship | Junta de Andalucía P08–TIC-04200 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | The Journal of Logic and Algebraic Programming, 79 (6), 317-325. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | SAT | es |
dc.subject | P System | es |
dc.subject | Membrane Computing | es |
dc.subject | GPU | es |
dc.title | Simulating a P system based efficient solution to SAT by using GPUs | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
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 | TIN2009–13192 | es |
dc.relation.projectID | P08–TIC-04200 | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S1567832610000123 | es |
dc.identifier.doi | 10.1016/j.jlap.2010.03.008 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 9 p. | es |
dc.journaltitle | The Journal of Logic and Algebraic Programming | es |
dc.publication.volumen | 79 | es |
dc.publication.issue | 6 | es |
dc.publication.initialPage | 317 | es |
dc.publication.endPage | 325 | es |
dc.identifier.sisius | 6606679 | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |