Ponencia
Scalable Grid-Based Implementation for Membrane Computing
Autor/es | Ciobanu, Gabriel |
Fecha de publicación | 2014 |
Fecha de depósito | 2016-01-26 |
Publicado en |
|
ISBN/ISSN | 978-84-940056-4-0 |
Resumen | We first present the formal semantics of a parallel rule-based formalism
inspired by biological cells, and then provide a faithful parallel implementation of this
computational model by using GridGain and taking care of ... We first present the formal semantics of a parallel rule-based formalism inspired by biological cells, and then provide a faithful parallel implementation of this computational model by using GridGain and taking care of various synchronization issues. Synchronization is achieved by using barriers and preconditions; both refer to the fact that a membrane can apply its rules only after it has received signals from the other related membranes. We develop a scalable parallel implementation using the MapReduce paradigm in GridGain which allows the splitting of a task into multiple subtasks, the parallel execution of these subtasks in parallel and the aggregation of the partial results into a single, final result. This implementation is very close to the formal description of this parallel model of membrane systems, a model which is computationally equivalent to Turing machines and able to provide polynomial solutions to NP-complete problems. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
119_Mario65y.pdf | 212.0Kb | [PDF] | Ver/ | |