dc.creator | Ipate, Florentin | es |
dc.creator | Lefticaru, Raluca | es |
dc.creator | Mierla, Laurentiu | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Han, Huang | es |
dc.creator | Zhang, Gexiang | es |
dc.creator | Dragomir, Ciprian | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Gheorghe, Marian | es |
dc.date.accessioned | 2018-11-02T11:17:53Z | |
dc.date.available | 2018-11-02T11:17:53Z | |
dc.date.issued | 2013 | |
dc.identifier.citation | Ipate, F., Lefticaru, R., Mierla, L., Valencia Cabrera, L., Han, H., Zhang, G.,...,Gheorghe, M. (2013). Kernel P Systems: Applications and Implementations. En BIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications (1081-1089), Anhui University of Science and Technology, China: Springer. | |
dc.identifier.isbn | 978-3-642-37501-9 | es |
dc.identifier.issn | 2194-5357 | es |
dc.identifier.uri | https://hdl.handle.net/11441/79755 | |
dc.description.abstract | This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented. | 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 | Springer | es |
dc.relation.ispartof | BIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications (2013), p 1081-1089 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | kernel P systems | es |
dc.subject | Subset sum problem | es |
dc.subject | Formal verification | es |
dc.title | Kernel P Systems: Applications and Implementations | es |
dc.type | info:eu-repo/semantics/conferenceObject | 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://link.springer.com/chapter/10.1007%2F978-3-642-37502-6_126 | es |
dc.identifier.doi | 10.1007/978-3-642-37502-6_126 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 9 | es |
dc.publication.initialPage | 1081 | es |
dc.publication.endPage | 1089 | es |
dc.eventtitle | BIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications | es |
dc.eventinstitution | Anhui University of Science and Technology, China | es |
dc.relation.publicationplace | Berlin | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |