3-Col problem modelling using simple kernel P systems

M Gheorghe, F Ipate, R Lefticaru… - … Journal of Computer …, 2013 - Taylor & Francis
… This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems)
… power and efficiency of kernel P systems. It describes two skP systems that model the …

[PDF][PDF] Kernel P systems

M Gheorghe, F Ipate, C Dragomir, L Mierla… - … Brainstorming Week on …, 2012 - ibn.idsi.md
… the system. In this respect we engage now on defining a kernel P system ( kP system , for …
language including the most used concepts from P systems. In a later stage its key features …

Kernel P systems: Applications and implementations

F Ipate, R Lefticaru, L Mierlă, LV Cabrera… - Proceedings of The …, 2013 - Springer
P systems, called kernel P systems (kP systems). A specific language for describing kP systems
… been modelled with kernel P systems and further implemented in Promela is presented. …

[HTML][HTML] Kernel P systems: from modelling to verification and testing

M Gheorghe, R Ceterchi, F Ipate, S Konur… - Theoretical Computer …, 2018 - Elsevier
… of kernel P systems by showing how other classes of P systems can be represented with this
formalism and providing a number of kernel P system … to non-deterministic kernel P systems. …

Model checking kernel P systems

C Dragomir, F Ipate, S Konur, R Lefticaru… - … Conference, CMC 2013 …, 2014 - Springer
… we employ for kernel P system models. The pivotal representation medium is, however,
the newly introduced kP-Lingua, a language designed to express a kP system coherently and …

An integrated model checking toolset for kernel P systems

M Gheorghe, S Konur, F Ipate, L Mierla… - … Conference, CMC 2015 …, 2015 - Springer
… We present below a kernel P systems model that generates square numbers (starting with
1) each step. The multiplicity of object “s” is equal to the square number produced each step. …

High performance simulations of kernel P systems

ME Bakir, S Konur, M Gheorghe… - 2014 IEEE Intl Conf …, 2014 - ieeexplore.ieee.org
… In this paper, we present the use of kernel P systems for specifying a … kernel P systems. In
Section III, we present the simulation frameworks, supporting the simulation of kernel P system

The performance of μ-kernel-based systems

H Härtig, M Hohmuth, J Liedtke, S Schönberg… - … Operating Systems …, 1997 - dl.acm.org
… In contrast, we investigate the pure p-kernel approach by systematically repeating earlier …
L.4, a second-generation /c-kernel. (Most firstgeneration p-kernels like Chorus [32] and Mach [ …

Kernel P systems and stochastic P systems for modelling and formal verification of genetic logic gates

M Gheorghe, S Konur, F Ipate - Advances in Unconventional Computing …, 2017 - Springer
… the most utilised P system models. This model is called kernel P systems (kP systems ) . A
… section we will introduce two P system models, a non-deterministic version, called kernel

Kernel P systems modelling, testing and verification-sorting case study

M Gheorghe, R Ceterchi, F Ipate, S Konur - … CMC 2016, Milan, Italy, July 25 …, 2017 - Springer
… of the P system features most … kernel P systems by providing a number of kP system models
for sorting algorithms. Furthermore, the problem of testing systems modelled as kP systems