Ver ítem 

Mostrar el registro sencillo del ítem

Ponencia

Opened Access
Kernel P Systems: Applications and Implementations

dc.creatorIpate, Florentines
dc.creatorLefticaru, Ralucaes
dc.creatorMierla, Laurentiues
dc.creatorValencia Cabrera, Luises
dc.creatorHan, Huanges
dc.creatorZhang, Gexianges
dc.creatorDragomir, Ciprianes
dc.creatorPérez Jiménez, Mario de Jesúses
dc.creatorGheorghe, Marianes
dc.date.accessioned2018-11-02T11:17:53Z
dc.date.available2018-11-02T11:17:53Z
dc.date.issued2013
dc.identifier.citationIpate, 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.isbn978-3-642-37501-9es
dc.identifier.issn2194-5357es
dc.identifier.urihttps://hdl.handle.net/11441/79755
dc.description.abstractThis 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.sponsorshipMinisterio de Ciencia e Innovación TIN2009–13192es
dc.description.sponsorshipJunta de Andalucía P08-TIC-04200es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherSpringeres
dc.relation.ispartofBIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applications (2013), p 1081-1089
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subjectMembrane Computinges
dc.subjectkernel P systemses
dc.subjectSubset sum problemes
dc.subjectFormal verificationes
dc.titleKernel P Systems: Applications and Implementationses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dcterms.identifierhttps://ror.org/03yxnpp24
dc.type.versioninfo:eu-repo/semantics/submittedVersiones
dc.rights.accessRightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.relation.projectIDTIN2009–13192es
dc.relation.projectIDP08-TIC-04200es
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007%2F978-3-642-37502-6_126es
dc.identifier.doi10.1007/978-3-642-37502-6_126es
dc.contributor.groupUniversidad de Sevilla. TIC193: Computación Naturales
idus.format.extent9es
dc.publication.initialPage1081es
dc.publication.endPage1089es
dc.eventtitleBIC-TA 2013: 8th International Conference on Bio-Inspired Computing: Theories and Applicationses
dc.eventinstitutionAnhui University of Science and Technology, Chinaes
dc.relation.publicationplaceBerlines
dc.contributor.funderMinisterio de Ciencia e Innovación (MICIN). España
dc.contributor.funderJunta de Andalucía

FicherosTamañoFormatoVerDescripción
Ipate2013_Chapter_KernelPSyste ...1.701MbIcon   [PDF] Ver/Abrir  

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional