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

SCALE-Ahead-Of-Time Compilation of CUDA for AMD GPUs

LeetDecoding: A PyTorch Library for Exponentially Decaying Causal Linear Attention with CUDA Implementations

Anari-visionaray

Data Parallel Visualization and Rendering on the RAMSES Supercomputer with ANARI

PROM: an open-source software framework to enhance the robustness and performance of predictive models against such changes during deployment

Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization

DeepSpeed: a deep learning optimization library that makes distributed training and inference easy, efficient, and effective

Scalable Access-Pattern Aware I/O Acceleration and Multi-Tiered Data Management for HPC and AI Workloads

* * *

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

SCALE-Ahead-Of-Time Compilation of CUDA for AMD GPUs

LeetDecoding: A PyTorch Library for Exponentially Decaying Causal Linear Attention with CUDA Implementations

Anari-visionaray

PROM: an open-source software framework to enhance the robustness and performance of predictive models against such changes during deployment

DeepSpeed: a deep learning optimization library that makes distributed training and inference easy, efficient, and effective

HPX: a C++ Standard Library for Concurrency and Parallelism

TorchQC: Quantum Dynamics and Machine Learning

Matrix multiplication using Tensor Cores in CUDA

CPP Joules: Energy Measurement tool for CPP/CUDA programs

HPC-Coder-v2

Most viewed papers (last 30 days)