Concepedia

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

José M. Cecilia, José M. Garcı́a, Ginés D. Guerrero, Miguel Ángel Martínez del Amor, Ignacio Pérez–Hurtado, Mario J. Pérez-Jímenez

The Journal of Logic and Algebraic Programming · 2010 · 55 citations · 8 references

Concepts

Computational ScienceGpu ArchitectureEngineeringGpu BenchmarkingEfficient SolutionP SystemComputer ArchitectureComputer EngineeringSat SolvingParallel ProgrammingModeling And SimulationComputer ScienceParallel ComputingGpu ClusterGpu Computing

References

8

Computing with Membranes

Gheorghe Pǎun · Journal of Computer and System Sciences · 2000 · 2.3K citations

Membrane Structure, Computational Science, Engineering +6

Scalable parallel programming with CUDA

John Nickolls, Ian Buck, Michael Garland et al. · 2008 · 1.6K citations

Cluster Computing, Massively-parallel Computing, Engineering +13

Scalable Parallel Programming with CUDA

John Nickolls, Ian Buck, Michael Garland et al. · Queue · 2008 · 1.6K citations · Full text

Cluster Computing, Engineering, Computer Architecture +19

NVIDIA Tesla: A Unified Graphics and Computing Architecture

Erik Lindholm, John Nickolls, Stuart F. Oberman et al. · IEEE Micro · 2008 · 1.3K citations

Gpu Architecture, Engineering, Gpu Benchmarking +12

Parallel Computing Experiences with CUDA

Michael Garland, Scott Le Grand, John Nickolls et al. · IEEE Micro · 2008 · 535 citations

Cluster Computing, Engineering, Gpu Benchmarking +17