Agent-based simulation of kernel P systems with division rules using FLAME

DOI10.1007/978-3-319-54072-6_18MaRDI QIDQ2975920zbMATH OpenOpenAlexFDO

Authors Raluca Lefticaru, Luis F. Macías-Ramos, Ionuţ Mihai Niculescu, Laurenţiu Mierlă

Publication date 12 April 2017

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-54072-6_18

zbMATH Keywords

agent-based simulationcommunicating stream X-machineskernel P-systemsmembrane computing

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 6665225
• Model Checking Kernel P Systems
• An integrated model checking toolset for kernel P systems
• Kernel P systems: from modelling to verification and testing
• Kernel P systems modelling, testing and verification -- sorting case study

Cites work

• A high-performance, portable implementation of the MPI message passing interface standard
• An integrated model checking toolset for kernel P systems
• Computing with membranes
• scientific article; zbMATH DE number 6665225 (Why is no real title available?)
• Simulating P systems on GPU devices: a survey

Describes a project that uses

Uses Software

• OpenCL
• Hadoop
• G-Hadoop
• kPWorkbench
• CheCL
• FLAME
• CUDA

This page was built for publication: Agent-based simulation of kernel P systems with division rules using FLAME

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2975920)