<?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%">Florentin Ipate</style></author><author><style face="normal" font="default" size="100%">Raluca Lefticaru</style></author><author><style face="normal" font="default" size="100%">Laurentiu Mierla</style></author><author><style face="normal" font="default" size="100%">Luis Valencia-Cabrera</style></author><author><style face="normal" font="default" size="100%">Huang Han</style></author><author><style face="normal" font="default" size="100%">Gexiang Zhang</style></author><author><style face="normal" font="default" size="100%">Ciprian Dragomir</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%">Zhixiang Yin</style></author><author><style face="normal" font="default" size="100%">Linqiang Pan</style></author><author><style face="normal" font="default" size="100%">Xianwen Fang</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Kernel P Systems: Applications and Implementations</style></title><secondary-title><style face="normal" font="default" size="100%">Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Formal Verification</style></keyword><keyword><style  face="normal" font="default" size="100%">kernel P systems</style></keyword><keyword><style  face="normal" font="default" size="100%">Membrane computing</style></keyword><keyword><style  face="normal" font="default" size="100%">Subset sum problem</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">07/2013</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://link.springer.com/chapter/10.1007%2F978-3-642-37502-6_126</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin Heidelberg</style></publisher><pub-location><style face="normal" font="default" size="100%">Amsterdam, the Netherlands</style></pub-location><volume><style face="normal" font="default" size="100%">212</style></volume><pages><style face="normal" font="default" size="100%">1081-1089</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-37501-9</style></isbn><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>