Title :
High Performance Simulations of Kernel P Systems
Author :
Bakir, Mehmet E. ; Konur, Savas ; Gheorghe, Marian ; Niculescu, Ionut ; Ipate, Florentin
Author_Institution :
Dept. of Comput. Sci., Univ. of Sheffield, Sheffield, UK
Abstract :
The paper presents the use of a membrane computing model for specifying a synthetic biology pulse generator example and discusses some simulation results produced by the tools associated with this model and compare their performances. The results show the potential of the simulation approach over the other analysis tools like model checkers.
Keywords :
biocomputing; biology computing; digital simulation; formal specification; parallel processing; pulse generators; high performance simulations; kernel P systems; membrane computing model; synthetic biology pulse generator specification; Biological system modeling; Biomembranes; Computational modeling; Fires; Kernel; Pulse generation; Synthetic biology; FLAME Simulator; KPWorkbench Simulator; Kernel P System; Performance Comparision;
Conference_Titel :
High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS), 2014 IEEE Intl Conf on
Print_ISBN :
978-1-4799-6122-1
DOI :
10.1109/HPCC.2014.69