High performance simulations of kernel P systems

Description

No / 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.

Links & Downloads

1. 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.
2. http://hdl.handle.net/10454/10600
3. https://doi.org/10.1109/HPCC.2014.69

Tags

Additional Fields

Identifer	oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/10600
Date	January 2014
Creators	Bakir, M.E., Konur, Savas, Gheorghe, Marian, Niculescu, I.M., Ipate, F.
Source Sets	Bradford Scholars
Detected Language	English
Type	Conference Paper, No full-text available in the repository