• Ponencia
      Icon

      A Spiking Neural P System Simulator Based on CUDA 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Springer, 2011)
      In this paper we present a Spiking Neural P system (SNP system) simulator based on graphics processing units (GPUs). In ...
    • Ponencia
      Icon

      Design of Specific P Systems Simulators on GPUs 

      Martínez del Amor, Miguel Ángel; Orellana Martín, David; Pérez Hurtado de Mendoza, Ignacio; Valencia Cabrera, Luis; Riscos Núñez, Agustín; Pérez Jiménez, Mario de Jesús (Springer, 2018)
      In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, ...
    • Ponencia
      Icon

      Optimizations in CuSNP Simulator for Spiking Neural P Systems on CUDA GPUs 

      Aboy, Blaine Corwyn D.; Bariring, Edward James A.; Carandang, Jym Paul; Cabarle, Francis George C.; Cruz, Ren Tristan de la; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (IEEE Computer Society, 2019)
      Spiking Neural P systems (in short, SNP systems) are computing models based on living neurons. SNP systems are non-deterministic ...
    • Ponencia
      Icon

      Population Dynamics P Systems on CUDA 

      Martínez del Amor, Miguel Ángel; Pérez Hurtado de Mendoza, Ignacio; Gastalver Rubio, Adolfo; Elster, Anne C.; Pérez Jiménez, Mario de Jesús (Springer, 2012)
      Population Dynamics P systems (PDP systems, in short) provide a new formal bio-inspired modeling framework, which has been ...
    • Ponencia
      Icon

      Simulating a Family of Tissue P Systems Solving SAT on the GPU 

      Martínez del Amor, Miguel Ángel; Pérez Carrasco, Jesús; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2013)
      In order to provide e cient software tools to deal with large membrane systems, high-throughput simulators are required. ...
    • Ponencia
      Icon

      Spiking Neural P system without delay simulator implementation using GPGPUs 

      Cabarle, Francis George C.; Adorna, Henry N.; Martínez del Amor, Miguel Ángel (Ateneo de Naga University, 2011)
      This paper presents a parallel simulator for a type of P sys- tem known as spiking neural P system (SNP system) us- ing ...