high performance computing on graphics processing units: hgpu.org

hgpu.org » Octagon Abstract Domain

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Francesco Banterle, Roberto Giacobazzi

View

Download (PDF)

Tags: Computer science, nVidia, nVidia GeForce 7950 GX2, Octagon Abstract Domain, OpenGL

November 4, 2010 by hgpu

pharos: performance monitoring instrumentation for multi-FPGA systems

Performance Monitoring of Multi-FPGA Systems

Efficient Video Compression via Content-Adaptive Super-Resolution

CUDA Modular Polynomial (CUMODP) Library

Parallel Arbitrary-precision Integer Arithmetic

Energy-aware Task Scheduling with Deadline Constraint in DVFS-enabled Heterogeneous Clusters

CUDA Tutorial - Cryptanalysis of Classical Ciphers Using Modern GPUs and CUDA

CUDA Tutorial – Cryptanalysis of Classical Ciphers Using Modern GPUs and CUDA

Ginkgo: a high-performance linear algebra library for manycore systems, with a focus on sparse solution of linear systems

Porting a sparse linear algebra math library to Intel GPUs

Exa.TrkX: Machine Learning for Particle Track Reconstruction

Physics and Computing Performance of the Exa.TrkX TrackML Pipeline

A Compiler Infrastructure for Accelerator Generators

LIKWID: A Lightweight Performance-Oriented Tool Suite

ECM modeling and performance tuning of SpMV and Lattice QCD on A64FX

hls4ml: A package for machine learning inference in FPGAs

hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices

See all packages

* * *

2021

April

27-29

Munich, Germany

9th International Workshop on OpenCL and SYCL, 2021

2020

December

10-14

Virtually in Barcelona, Spain

The 18th International Conference on High Performance Computing & Simulation (HPCS), 2020

2020

November

24-27

Naha, Okinawa, Japan

The Fifth International Workshop on GPU Computing and AI (GCA), 2020

2021

January

13-15

Shenzhen, China

2nd International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA’21), 2021

2020

December

14-16

Bangkok, Thailand

International Conference on Cyber Physical Systems and IoT (CPSIOT’20), 2020

Add event

See all events

high performance computing on graphics processing units: hgpu.org

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Recent source codes

pharos: performance monitoring instrumentation for multi-FPGA systems

Efficient Video Compression via Content-Adaptive Super-Resolution

CUDA Modular Polynomial (CUMODP) Library

Energy-aware Task Scheduling with Deadline Constraint in DVFS-enabled Heterogeneous Clusters

CUDA Tutorial - Cryptanalysis of Classical Ciphers Using Modern GPUs and CUDA

Ginkgo: a high-performance linear algebra library for manycore systems, with a focus on sparse solution of linear systems

Exa.TrkX: Machine Learning for Particle Track Reconstruction

A Compiler Infrastructure for Accelerator Generators

LIKWID: A Lightweight Performance-Oriented Tool Suite

hls4ml: A package for machine learning inference in FPGAs

Most viewed papers (last 30 days)

Featured events

9th International Workshop on OpenCL and SYCL, 2021

The 18th International Conference on High Performance Computing & Simulation (HPCS), 2020

The Fifth International Workshop on GPU Computing and AI (GCA), 2020

2nd International Conference on Frontiers of Intelligent Manufacturing and Automation (CFIMA’21), 2021

International Conference on Cyber Physical Systems and IoT (CPSIOT’20), 2020