Fast Hardware Implementations of Static P Systems

In this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) technology. Its major feature is a high performance, achieving a constant processing time for each transition. Our approach is based on representing all possible applications as wo...

Descripción completa

Detalles Bibliográficos
Autores: Quirós Carmona, Juan, Verlan, Sergey, Viejo Cortés, Julián, Millán Calderón, Alejandro, Bellido Díaz, Manuel Jesús
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2016
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/80849
Acceso en línea:https://hdl.handle.net/11441/80849
Access Level:acceso abierto
Palabra clave:Reconfigurable hardware
P systems
Static P systems
FPGA
Membrane computing
Parallel implementations of membrane computing
Simulator of membrane computing
Hardware implementations of membrane computing
Parallel implementations of static P systems
Simulator of static P systems
id ES_9a9364637ad496bf6ff9c4e215c8dcba
oai_identifier_str oai:idus.us.es:11441/80849
network_acronym_str ES
network_name_str España
repository_id_str
spelling Fast Hardware Implementations of Static P SystemsQuirós Carmona, JuanVerlan, SergeyViejo Cortés, JuliánMillán Calderón, AlejandroBellido Díaz, Manuel JesúsReconfigurable hardwareP systemsStatic P systemsFPGAMembrane computingParallel implementations of membrane computingSimulator of membrane computingHardware implementations of membrane computingParallel implementations of static P systemsSimulator of static P systemsIn this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) technology. Its major feature is a high performance, achieving a constant processing time for each transition. Our approach is based on representing all possible applications as words of some regular context-free language. Then, using formal power series it is possible to obtain the number of possibilities and select one of them following a uniform distribution, in a fair and non-deterministic way. According to these ideas, we yield an implementation whose results show an important speed-up, with a strong independence from the size of the P system.Ministry of Science and Innovation of the Spanish Government under the project TEC2011-27936 (HIPERSYS)European Regional Development Fund (ERDF)Ministry of Education of Spain (FPU grant AP2009-3625)ANR project SynBioTICTecnología ElectrónicaTIC204: Investigación y Desarrollo Digital2016info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfapplication/pdfhttps://hdl.handle.net/11441/80849reponame:idUS. Depósito de Investigación de la Universidad de Sevillainstname:Universidad de Sevilla (US)InglésComputing and Informatics, 35 (3), 687-718.TEC2011-27936AP2009-3625http://www.cai.sk/ojs/index.php/cai/article/viewArticle/1665info:eu-repo/semantics/openAccessoai:idus.us.es:11441/808492026-06-17T12:51:07Z
dc.title.none.fl_str_mv Fast Hardware Implementations of Static P Systems
title Fast Hardware Implementations of Static P Systems
spellingShingle Fast Hardware Implementations of Static P Systems
Quirós Carmona, Juan
Reconfigurable hardware
P systems
Static P systems
FPGA
Membrane computing
Parallel implementations of membrane computing
Simulator of membrane computing
Hardware implementations of membrane computing
Parallel implementations of static P systems
Simulator of static P systems
title_short Fast Hardware Implementations of Static P Systems
title_full Fast Hardware Implementations of Static P Systems
title_fullStr Fast Hardware Implementations of Static P Systems
title_full_unstemmed Fast Hardware Implementations of Static P Systems
title_sort Fast Hardware Implementations of Static P Systems
dc.creator.none.fl_str_mv Quirós Carmona, Juan
Verlan, Sergey
Viejo Cortés, Julián
Millán Calderón, Alejandro
Bellido Díaz, Manuel Jesús
author Quirós Carmona, Juan
author_facet Quirós Carmona, Juan
Verlan, Sergey
Viejo Cortés, Julián
Millán Calderón, Alejandro
Bellido Díaz, Manuel Jesús
author_role author
author2 Verlan, Sergey
Viejo Cortés, Julián
Millán Calderón, Alejandro
Bellido Díaz, Manuel Jesús
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Tecnología Electrónica
TIC204: Investigación y Desarrollo Digital
dc.subject.none.fl_str_mv Reconfigurable hardware
P systems
Static P systems
FPGA
Membrane computing
Parallel implementations of membrane computing
Simulator of membrane computing
Hardware implementations of membrane computing
Parallel implementations of static P systems
Simulator of static P systems
topic Reconfigurable hardware
P systems
Static P systems
FPGA
Membrane computing
Parallel implementations of membrane computing
Simulator of membrane computing
Hardware implementations of membrane computing
Parallel implementations of static P systems
Simulator of static P systems
description In this article we present a simulator of non-deterministic static P systems using Field Programmable Gate Array (FPGA) technology. Its major feature is a high performance, achieving a constant processing time for each transition. Our approach is based on representing all possible applications as words of some regular context-free language. Then, using formal power series it is possible to obtain the number of possibilities and select one of them following a uniform distribution, in a fair and non-deterministic way. According to these ideas, we yield an implementation whose results show an important speed-up, with a strong independence from the size of the P system.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/11441/80849
url https://hdl.handle.net/11441/80849
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Computing and Informatics, 35 (3), 687-718.
TEC2011-27936
AP2009-3625
http://www.cai.sk/ojs/index.php/cai/article/viewArticle/1665
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.source.none.fl_str_mv reponame:idUS. Depósito de Investigación de la Universidad de Sevilla
instname:Universidad de Sevilla (US)
instname_str Universidad de Sevilla (US)
reponame_str idUS. Depósito de Investigación de la Universidad de Sevilla
collection idUS. Depósito de Investigación de la Universidad de Sevilla
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414415382609920
score 15,301603