Evaluating the SAT problem on P systems for different high-performance architectures

Membrane computing is an emergent research area studying the behavior of living cells to define bio-inspired computing devices, also called P systems . Such devices provide polynomial time solutions to NP-complete problems by trading time for space. The efficient simulation of P systems poses three...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of supercomputing 2014-07, Vol.69 (1), p.248-272
Hauptverfasser:	Cecilia, José M., García, José M., Guerrero, Ginés D., Ujaldón, Manuel
Format:	Artikel
Sprache:	eng
Schlagworte:	Compilers Computation Computer Science Computer simulation Devices Distributed memory Floating point arithmetic Graphics processing units Interpreters Membranes Polynomials Processor Architectures Programming Languages
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!