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