- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Capítulos (Ciencias de la Computación e Inteligencia Artificial)
- Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Capítulos (Ciencias de la Computación e Inteligencia Artificial) por autor "Ceterchi, Rodica"
Mostrando ítems 1-2 de 2
-
Capítulo de Libro
On Two-Dimensional Mesh Networks and Their Simulation with P Systems
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 ...
-
Capítulo de Libro
Towards Probabilistic Model Checking on P Systems Using PRISM
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.