Simulating a P system based efficient solution to SAT by using GPUs

Journal of Logic and Algebraic Programming

Volumn 79, Issue 6, 2010, Pages 317-325

  Cecilia, José M ^b   García, José M ^b   Guerrero, Ginés D ^b   Martínez Del Amor, Miguel A ^a   Pérez Hurtado, Ignacio ^a   Pérez Jiménez, Mario J ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

^b UNIVERSITY OF MURCIA   (Spain)

Author keywords

GPUs; Membrane Computing; P systems; SAT

Indexed keywords

COMPUTING DEVICES; GENERAL PURPOSE; MEMBRANE COMPUTING; P SYSTEMS; PARALLEL FRAMEWORK; SAT PROBLEMS;

PARALLEL ARCHITECTURES; PROGRAM PROCESSORS; SIMULATORS;

BIOINFORMATICS;

EID: 77955431709     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2010.03.008     Document Type: Article

References (15)

1. J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez- Jiménez, Simulation of P systems with active membranes on CUDA, Briefings in bioinformatics, parallel and ubiquitous methods and tools in systems biology (online version). doi:10.1093/bib/bbp064.
2. G. Ciobanu, G. Wenyuan, P systems running on a cluster of computers, in: Membrane Computing: 4th International Workshop, WMC 2003, Lecture Notes in Computer Science, vol. 2933, 2004, pp. 289-328.
3. L. Fernandez, V.J. Martinez, F. Arroyo, and L.F. Mingo A hardware circuit for selecting active rules in transition P systems SYNASC '05: Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2005 IEEE Computer Society Washington, DC, USA 415 418
4. M. García-Quismondo, R. Gutiérrez-Escudero, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos- Núñez, An overview of P-lingua 2.0, in: Membrane Computing: 10th International Workshop, WMC 2009, Lecture Notes in Computer Science, vol. 5957, 2010, pp. 264-288.
5. M. Garland, S. Le Grand, J. Nickolls, J. Anderson, J. Hardwick, S. Morton, E. Phillips, Y. Zhang, and V. Volkov Parallel computing experiences with CUDA IEEE Micro 28 4 2008 13 27
6. M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez, Available Membrane Computing software, in: Applications of Membrane Computing, 2006, pp. 411-436.
7. E. Lindholm, J. Nickolls, S. Oberman, and J. Montrym NVIDIA Tesla: a unified graphics and computing architecture IEEE Micro 28 2 2008 39 55
8. J. Nickolls, I. Buck, M. Garland, and K. Skadron Scalable parallel programming with CUDA Queue 6 2 2008 40 53
9. V. Nguyen, D. Kearney, G. Gioiosa, An algorithm for non-deterministic object distribution in P systems and its implementation in hardware, in: Membrane Computing: 9th International Workshop, WMC 2008, Lecture Notes in Computer Science, vol. 5391, 2009, pp. 325-354.
10. V. Nguyen, D. Kearney, G. Gioiosa, A region-oriented hardware implementation for Membrane Computing applications, in: Membrane Computing: 10th International Workshop, WMC 2009, Lecture Notes in Computer Science, vol. 5957, 2010, pp. 385-409.
11. NVIDIA, NVIDIA CUDA Programming Guide 2.0, 2008.
12. G. Pun Computing with membranes J. Comput. Syst. Sci. 61 2000 108 143 Turku Center for CS-TUCS Report No. 208, 1998.
13. M.J. Pérez-Jiménez, Á. Romero-Jiménez, and F. Sancho-Caparrini Complexity classes in models of cellular computing with membranes Nat. Comput. Int. J. 2 3 2003 265 285 (Pubitemid 39137564)
14. G. Pun Membrane Computing. An Introduction 2002 Springer-Verlag Berlin, Germany
15. M. Qasem, WinSAT website (5 2009). URL: .