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

Spatter: Benchmark for measuring the performance of sparse and irregular memory access

Spatter: A Benchmark Suite for Evaluating Sparse Access Patterns

StePS: Stereographically Projected Cosmological Simulations

StePS: A Multi-GPU Cosmological N-body Code for Compactified Simulations

AMGCL:C++ library for solving large sparse linear systems with algebraic multigrid method

AMGCL: an Efficient, Flexible, and Extensible Algebraic Multigrid Implementation

PAstudy

Double-precision FPUs in High-Performance Computing: an Embarrassment of Riches?

hpx: The C++ Standard Library for Parallelism and Concurrency

Integration of CUDA Processing within the C++ library for parallelism and concurrency (HPX)

OpenDwarfs: a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-art multicore CPUs, GPUs, Intel MICs and Altera FPGAs

OpenCL Performance Prediction using Architecture-Independent Features

Rodinia Benchmark Suite ported for OpenCL-capable Intel FPGAs

High Performance Computing with FPGAs and OpenCL

The Ocean Tensor Package

Tornado

Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study

pocl: Portable Computing Language

Exploiting Task Parallelism with OpenCL: A Case Study

See all packages

* * *

2019

February

25-28

Shanghai, China

International Conference on Image, Video and Signal Processing (IVSP), 2019

2018

November

20-22

Khalifa University, Abu Dhabi, UAE

International Joint Conference on Signals, Systems and Computers (CSSC), 2018

2018

December

13-15

Wellington, New Zealand

International Joint Conference on Robotics, Automation and Mechatronics (JCRAM), 2018

2018

December

10-12

Wellington, New Zealand

International Joint Conference on Robotics and Artificial Intelligence (JCRAI), 2018

2018

December

13-15

Wellington, New Zealand

International Joint Conference on Computer Vision and Pattern Recognition (CCVPR), 2018

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

Spatter: Benchmark for measuring the performance of sparse and irregular memory access

StePS: Stereographically Projected Cosmological Simulations

AMGCL:C++ library for solving large sparse linear systems with algebraic multigrid method

PAstudy

hpx: The C++ Standard Library for Parallelism and Concurrency

OpenDwarfs: a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-art multicore CPUs, GPUs, Intel MICs and Altera FPGAs

Rodinia Benchmark Suite ported for OpenCL-capable Intel FPGAs

The Ocean Tensor Package

Tornado

pocl: Portable Computing Language

Most viewed papers (last 30 days)

Featured events

International Conference on Image, Video and Signal Processing (IVSP), 2019

International Joint Conference on Signals, Systems and Computers (CSSC), 2018

International Joint Conference on Robotics, Automation and Mechatronics (JCRAM), 2018

International Joint Conference on Robotics and Artificial Intelligence (JCRAI), 2018

International Joint Conference on Computer Vision and Pattern Recognition (CCVPR), 2018