Simulatin gaPs ystembased efficient solution to SAT by using GPUs

[1]  Erik Lindholm,et al.  NVIDIA Tesla: A Unified Graphics and Computing Architecture , 2008, IEEE Micro.

[2]  Mario J. Pérez-Jiménez,et al.  An Overview of P-Lingua 2.0 , 2009, Workshop on Membrane Computing.

[3]  Mario J. Pérez-Jiménez,et al.  Available Membrane Computing Software , 2006, Applications of Membrane Computing.

[4]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[5]  Mario J. Pérez-Jiménez,et al.  Complexity classes in models of cellular computing with membranes , 2003, Natural Computing.

[6]  Van Nguyen,et al.  An Algorithm for Non-deterministic Object Distribution in P Systems and Its Implementation in Hardware , 2009, Workshop on Membrane Computing.

[7]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[8]  Gabriel Ciobanu,et al.  P Systems Running on a Cluster of Computers , 2003, Workshop on Membrane Computing.

[9]  Yao Zhang,et al.  Parallel Computing Experiences with CUDA , 2008, IEEE Micro.

[10]  Fernando Arroyo,et al.  A hardware circuit for selecting active rules in transition P systems , 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).

[11]  Van Nguyen,et al.  A Region-Oriented Hardware Implementation for Membrane Computing Applications , 2009, Workshop on Membrane Computing.

[12]  Kevin Skadron,et al.  Scalable parallel programming , 2008, 2008 IEEE Hot Chips 20 Symposium (HCS).