High performance simulations of kernel P systems
Bakir, M.E. ; Konur, Savas ; Gheorghe, Marian ; Niculescu, I.M. ; Ipate, F.
Bakir, M.E.
Konur, Savas
Gheorghe, Marian
Niculescu, I.M.
Ipate, F.
Publication Date
2014
End of Embargo
Supervisor
Rights
Peer-Reviewed
Yes
Open Access status
closedAccess
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
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.
Version
No full-text in the repository
Citation
Bakir ME, Konur S, Gheorghe M et al (2014) High performance simulations of kernel P systems. In: IEEE International Conference on High Performance Computing and Communications; IEEE 6th International Symposium of Cyberspace Safety and Security; IEEE 11th International Conference on Embedded Software and Systems (HPCC, CSS, ICESS). 20-22 Aug 2014, Paris, France: 409-412.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Conference paper