DocumentCode :
3575080
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
fYear :
2014
Firstpage :
409
Lastpage :
412
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/HPCC.2014.69
Filename :
7056773
Link To Document :
بازگشت