Computer science | Page 394

hgpu.org » Computer science

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding

Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric

View

Download (PDF)

Tags: Computer science, CUDA, nVidia, Programming techniques

March 31, 2013 by hgpu

Specification and Verification of GPGPU Programs using Permission-Based Separation Logic

Marieke Huisman and Matej Mihelcic

View

Download (PDF)

Tags: Computer science, OpenCL, Programming techniques

March 31, 2013 by hgpu

A Massively Parallel Associative Memory Based on Sparse Neural Networks

Zhe Yao, Vincent Gripon, Michael G. Rabbat

View

Download (PDF)

Tags: Artificial intelligence, Computer science, CUDA, Neural and Evolutionary Computing, Neural networks, nVidia, Tesla C1060

March 31, 2013 by hgpu

Warp Size Impact in GPUs: Large or Small?

Ahmad Lashgar, Amirali Baniasadi, Ahmad Khonsari

View

Download (PDF)

Tags: Computer science, GPGPU-sim, Memory, Performance

March 29, 2013 by hgpu

Parallel Simulation of Population Balance Model-Based Particulate Processes Using Multicore CPUs and GPUs

Anuj V. Prakash, Anwesha Chaudhury, Rohit Ramachandran

View

Download (PDF)

Tags: CAD, Computer science, CUDA, nVidia, nVidia GeForce GTX 280, Pharmaceuticals

March 29, 2013 by hgpu

Accelerating Graph Analysis with Heterogeneous Systems

Ate Penders

View

Download (PDF)

Tags: Algorithms, Computer science, Graph theory, Heterogeneous systems, nVidia, nVidia GeForce GTX 480, OpenCL, Tesla C2050, Thesis

March 29, 2013 by hgpu

Adaptive OpenCL (ACL) Execution in GPU Architectures

Dan Connors, Kyle Dunn, Jeff Wiencrot

View

Download (PDF)

Tags: Algorithms, Computer science, DSP, Heterogeneous systems, nVidia, nVidia GeForce GTX 280, nVidia GeForce GTX 480, OpenCL

March 26, 2013 by hgpu

Parallel Sorting on the Heterogeneous AMD Fusion Accelerated Processing Unit

Michael Christopher Delorme

View

Download (PDF)

Tags: APU, ATI, ATI Radeon HD 5870, ATI Radeon HD 6530, ATI Radeon HD 6550, Computer science, Heterogeneous systems, nVidia, OpenCL, Sorting, Thesis, Tutorial

March 26, 2013 by hgpu

General Purpose Computation on Graphics Processing Units Using OpenCL

Fiaz Gul Khan

View

Download (PDF)

Tags: Computer science, Electrodynamics, FFT, Heterogeneous systems, nVidia, nVidia GeForce GTX 260, nVidia Quadro FX 6000, OpenCL, Sorting, Thesis, Tutorial

March 26, 2013 by hgpu

Improving Performance Portability in OpenCL Programs

Yao Zhang, Mark Sinclair II, Andrew A. Chien

View

Download (PDF)

Tags: APU, ATI, Benchmarking, Computer science, FFT, nVidia, OpenCL, Tesla C2050

March 26, 2013 by hgpu

Experimental Fault-Tolerant Synchronization for Reliable Computation on Graphics Processors

Tor-Magne Stien Hagen, Phuong Hoai Ha, Otto J. Anshus

View

Download (PDF)

Tags: Computer science, CUDA, Fault tolerance, nVidia, nVidia GeForce 8800 GTS

March 26, 2013 by hgpu

Parallel Interpretation of L-system Based on CUDA

Sulan Zhang, Qingsheng Zhu, Ji Liu, Lingqiu Zeng

View

Download (PDF)

Tags: Computer science, CUDA, Image generation, Matrix multiplication, nVidia, nVidia GeForce GTS 250

March 24, 2013 by hgpu

CL4SE: A Context Learning Benchmark For Software Engineering Tasks

CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models

A Safety Report on GPT-5.2, Gemini 3 Pro, Qwen3-VL, Grok 4.1 Fast, Nano Banana Pro, and Seedream 4.5

DICE: Diffusion Large Language Models Excel at Generating CUDA Kernels

KernelGYM & Dr. Kernel: A distributed GPU environment and a collection of RL training methods to support RL for Kernel Generations

Dr. Kernel: Reinforcement Learning Done Right for Triton Kernel Generations

Theorizer: from the paper Generating Literature-Driven Scientific Discoveries at Scale

Generating Literature-Driven Scientific Theories at Scale

See all packages

* * *

high performance computing on graphics processing units: hgpu.org

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding

Specification and Verification of GPGPU Programs using Permission-Based Separation Logic

A Massively Parallel Associative Memory Based on Sparse Neural Networks

Warp Size Impact in GPUs: Large or Small?

Parallel Simulation of Population Balance Model-Based Particulate Processes Using Multicore CPUs and GPUs

Accelerating Graph Analysis with Heterogeneous Systems

Adaptive OpenCL (ACL) Execution in GPU Architectures

Parallel Sorting on the Heterogeneous AMD Fusion Accelerated Processing Unit

General Purpose Computation on Graphics Processing Units Using OpenCL

Improving Performance Portability in OpenCL Programs

Experimental Fault-Tolerant Synchronization for Reliable Computation on Graphics Processors

Parallel Interpretation of L-system Based on CUDA

Recent source codes

CL4SE: A Context Learning Benchmark For Software Engineering Tasks

CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models

A Safety Report on GPT-5.2, Gemini 3 Pro, Qwen3-VL, Grok 4.1 Fast, Nano Banana Pro, and Seedream 4.5

DICE: Diffusion Large Language Models Excel at Generating CUDA Kernels

KernelGYM & Dr. Kernel: A distributed GPU environment and a collection of RL training methods to support RL for Kernel Generations

Vortex-Optimized Light-weight Toolchain (VOLT)

SciDef: Automated Definition Extraction from Scientific Literature

bioagent-bench: Benchmark for evaluating LLM agents in bioinformatics

Benchmark suite for LLM inference on NVIDIA consumer GPUs

Theorizer: from the paper Generating Literature-Driven Scientific Discoveries at Scale

Most viewed papers (last 30 days)