Now showing items 1-11 of 11

    • Icon

      A Biological Perspective on Sorting with P Systems  [Presentation]

      Ardelean, Ioan I.; Ceterchi, Rodica; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      The aim of this contribution is to argue that the processes occurring in biological membranes in bacteria are also important as natural examples of communication between membranes, which, in the formal framework of P ...
    • Icon

      Kernel P Systems Modelling, Testing and Veri cation  [Presentation]

      Gheorghe, Marian; Ceterchi, Rodica; Ipate, Florentin; Konur, Savas (Fénix, 2016)
      A kernel P system (kP system, for short) integrates in a coherent and elegant manner many of the P system features most successfully used for modelling various applications and, consequently, it provides a framework for ...
    • Icon

      On Two-Dimensional Mesh Networks and Their Simulation with P Systems  [Chapter of Book]

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Springer, 2005)
      We analize in this paper the possibility of simulating the parallel architecture SIMD-MC2, also known as the two-dimensional mesh, with P systems with dynamic communication graphs. We illustrate this simulation for an ...
    • Icon

      Rewriting in P Systems: An Algebraic Approach  [Presentation]

      Ceterchi, Rodica (Fénix Editora, 2006)
      We reformulate in algebraic terms the maximal parallel rewriting of symbols which occur inside membranes of a P system.
    • Icon

      Simulating Shuffle-Exchange Networks with P Systems  [Presentation]

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2004)
      We present in this paper a simulation with P systems of the parallel architecture known as shuffle-exchange network. This will lead us to consider a new version of P systems with communication, for which the communicat ...
    • Icon

      Simulating the Bitonic Sort on a 2D-mesh with P Systems  [Presentation]

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (South-East European Research Centre, 2007)
      This paper gives a version of the parallel bitonic sorting algorithm of Batcher, which can sort N elements in time O(log2 N). When applying it to the 2D mesh architecture, two indexing functions are considered, row-major ...
    • Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts  [Presentation]

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Österreichische Computer Gesellschaft Komitee für Öffentlichkeitsarbeit, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold more than one piece of data, and perform operations on them internally. Several data layouts are ...
    • Icon

      Sorting Omega Networks Simulated with P Systems: Optimal Data Layouts  [Presentation]

      Ceterchi, Rodica; Pérez Jiménez, Mario de Jesús; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      The paper introduces some sorting networks and their simulation with P systems, in which each processor/membrane can hold more than one piece of data, and perform operations on them internally. Several data layouts are ...
    • Icon

      Spiking Neural P Systems – A Natural Model for Sorting Networks  [Presentation]

      Ceterchi, Rodica; Tomescu, Alexandru Ioan (Fénix Editora, 2008)
      This paper proposes two simulations of sorting networks with spiking neural P systems. A comparison between different models is also made.
    • Icon

      The Reduction Problem in CUDA and Its Simulation with P Systems  [Presentation]

      Ceterchi, Rodica; Martínez del Amor, Miguel Ángel; Pérez Jiménez, Mario de Jesús (Fénix Editora, 2014)
      We introduce P systems with dynamic communication graphs which simu- late the functioning of the CUDA architecture when solving the parallel reduction prob- lem.
    • Icon

      Towards Probabilistic Model Checking on P Systems Using PRISM  [Chapter of Book]

      Romero Campero, Francisco José; Gheorghe, Marian; Bianco, Luca; Pescini, Dario; Pérez Jiménez, Mario de Jesús; Ceterchi, Rodica (Springer, 2006)
      This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM.