high performance computing on graphics processing units: hgpu.org

hgpu.org » Logic in Computer Science

Efficient Parallel Strategy Improvement for Parity Games

John Fearnley

View

Download (PDF)

Source codes

Tags: Algorithms, Computer science, CUDA, Data Structures and Algorithms, Logic in Computer Science, nVidia, nVidia GeForce GTX 780, Package

May 9, 2017 by hgpu

Accelerated Runtime Verification of LTL Specifications with Counting Semantics

Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister

View

Download (PDF)

Tags: Algorithms, Computer science, CUDA, Logic in Computer Science, MapReduce, nVidia, Tesla K20, Thrust

November 12, 2014 by hgpu

Computing finite models using free Boolean generators

Zarko Mijajlovic, Aleksandar Pejovic

View

Download (PDF)

Source codes

Tags: Computer science, Logic in Computer Science, OpenCL, Package, PyOpenCL

October 29, 2013 by hgpu

ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

David S. Hardin, Samuel S. Hardin

View

Download (PDF)

Tags: Computer science, CUDA, Data Structures and Algorithms, Logic in Computer Science, nVidia, nVidia GeForce GT 650 M

May 1, 2013 by hgpu

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

Elise Cormie-Bowins

View

Download (PDF)

Tags: Computer science, CUDA, Logic in Computer Science, nVidia, nVidia GeForce GTX 260, Probabilistic model checking

October 25, 2012 by hgpu

Regular Expression Matching and Operational Semantics

Asiri Rathnayake, Hayo Thielecke

View

Download (PDF)

Source codes

Tags: Computer science, CUDA, Logic in Computer Science, nVidia, Package

August 17, 2011 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

Efficient Parallel Strategy Improvement for Parity Games

Accelerated Runtime Verification of LTL Specifications with Counting Semantics

Computing finite models using free Boolean generators

ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

Regular Expression Matching and Operational Semantics

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)