high performance computing on graphics processing units: hgpu.org

hgpu.org » SAT

The GPU on the simulation of cellular computing models

Jose Cecilia, Jose Garcia, Gines Guerrero, Miguel Martinez-del-Amor, Mario Perez-Jimenez, Manuel Ujaldon

Tags: Computer science, Membrane computing, nVidia, P systems, SAT, Tesla S2050

May 10, 2011 by hgpu

3-SAT on CUDA: Towards a massively parallel SAT solver

Quirin Meyer, Fabian Schonfeld, Marc Stamminger, Rolf Wanka

View

Download (PDF)

Tags: Computer science, CUDA, nVidia, nVidia GeForce GTX 260, nVidia GeForce GTX 285, SAT

April 16, 2011 by hgpu

GPU Accelerated VLSI Design Verification

Yangdong Steve Deng

Tags: CAD, Computer science, SAT

March 21, 2011 by hgpu

Classical Simulation of Quantum Adiabatic Algorithms using Mathematica on GPUs

Sandra Diaz-Pier, Salvador E. Venegas-Andraca, Jose Luis Gomez-Munoz

View

Download (PDF)

Source codes

Tags: Computational Physics, CUDA, nVidia, nVidia GeForce 8800 GTX, Package, Physics, Quantum Physics, SAT, Symbolic Computation

March 9, 2011 by hgpu

Enhancing the simulation of P systems for the SAT problem on GPUs

J.M. Cecilia, J.M. Garcia, G.D. Guerrero, M.A. Martinez-Amor, M.J. Perez-Jimenez, M. Ujaldon

View

Download (PDF)

Tags: Biology, CUDA, nVidia, P systems, SAT, Tesla C1060

February 16, 2011 by hgpu

Cellular Genetic Algorithms and Local Search for 3-SAT problem on Graphic Hardware

Zhongwen Luo, Hongzhi Liu

Tags: Algorithms, Computer science, Genetic programming, SAT

January 23, 2011 by hgpu

Cellular genetic algorithms

Enrique Alba, Bernabe Dorronsoro

View

Download (PDF)

Tags: Algorithms, Computer science, Genetic programming, SAT

January 23, 2011 by hgpu

Dynamic label placement for improved interactive exploration

Thierry Stein, Xavier Decoret

View

Download (PDF)

Tags: Computer science, nVidia, nVidia GeForce 7800, OpenGL, SAT, Visualization

December 12, 2010 by hgpu

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

Jose M. Cecilia, Jose M. Garcia, Gines D. Guerrero, Miguel A. Martinez-del-Amor, Ignacio Perez-Hurtado, Mario J. Perez-Jimenez

Tags: Computer science, Membrane computing, P systems, SAT

November 20, 2010 by hgpu

Over-synchronization in GPU Programs

profile_util: simple C++ library to report memory, timing, thread affinity

Profile Util library: A quick and easy way to get MPI, OpenMP and GPU runtime information

MaC: Mamba CPU performance predictor

MambaCPU: Enhanced Correlation Mining with State Space Models for CPU Performance Prediction

Mixed-precision finite element kernels

Mixed-precision finite element kernels and assembly: Rounding error analysis and hardware acceleration

SHMT: The Simultaneous and Heterogenous Multithreading project

General-Purpose Computing on Tensor Processors

Superpipeline: A Universal Approach for Reducing GPU Memory Usage in Large Models

EnergyUCB-Bandit

Online Energy Optimization in GPUs: A Multi-Armed Bandit Approach

See all packages

* * *

high performance computing on graphics processing units: hgpu.org

The GPU on the simulation of cellular computing models

3-SAT on CUDA: Towards a massively parallel SAT solver

GPU Accelerated VLSI Design Verification

Classical Simulation of Quantum Adiabatic Algorithms using Mathematica on GPUs

Enhancing the simulation of P systems for the SAT problem on GPUs

Cellular Genetic Algorithms and Local Search for 3-SAT problem on Graphic Hardware

Cellular genetic algorithms

Dynamic label placement for improved interactive exploration

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

Recent source codes

Kokkidio: Kokkos+Eigen - write fast, readable multi-platform code

LLaMA-Inference-Bench

MATAR

Over-synchronization in GPU Programs

profile_util: simple C++ library to report memory, timing, thread affinity

MaC: Mamba CPU performance predictor

Mixed-precision finite element kernels

SHMT: The Simultaneous and Heterogenous Multithreading project

Superpipeline: A Universal Approach for Reducing GPU Memory Usage in Large Models

EnergyUCB-Bandit

Most viewed papers (last 30 days)