Add to ORKGObsidian is a domain specific language for general purpose computations on graphics processing units (GPUs) embedded Haskell. This report present examples of GPU kernels written in Obsidian as well as parts of the current implementation of Obsidian. The goal with Obsidian is to raise the level of abstraction for the programmer while not scarifying performance. The kind of decisionsand tradeoffs considered by a GPU kernel implementer should be easy to make and change in Obsidian
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
In light of recent hardware advances, General Purpose Graph-ics Processing Units (GPGPUs) are becomi...
This paper presents a real-world pricing kernel for financial deriva-tives and evaluates the languag...
Obsidian is a domain specific language for general purpose computations on graphics processing units...
Obsidian is a domain specific language for data-parallel programming on graphics processors (GPUs). ...
Graphics Processing Units (GPUs) are evolving into powerful general purpose computing platforms. At ...
GPGPU (general purpose computing on graphics processing units) programming is one interesting way to...
Graphical Processing Units (GPUs) are known to be excellent computation accelerators. However, their...
AbstractObsidian is a domain specific language for data-parallel programming on graphics processors ...
Graphics Processing Units (GPUs) offer potential for very high performance; they are also rapidly ev...
We present a domain specific language, embedded in Haskell, for general purpose parallel programming...
Computers today are becoming more and more parallel. General purpose processors (CPUs) have multipl...
Graphics Processing Units (GPUs) are powerful computing devices that with the advent of CUDA/OpenCL ...
GPUs have been gaining popularity as general purpose parallel processors that deliver a performance ...
This document accompanies the article The Design and Implemen-tation of a Verification Technique for...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
In light of recent hardware advances, General Purpose Graph-ics Processing Units (GPGPUs) are becomi...
This paper presents a real-world pricing kernel for financial deriva-tives and evaluates the languag...
Obsidian is a domain specific language for general purpose computations on graphics processing units...
Obsidian is a domain specific language for data-parallel programming on graphics processors (GPUs). ...
Graphics Processing Units (GPUs) are evolving into powerful general purpose computing platforms. At ...
GPGPU (general purpose computing on graphics processing units) programming is one interesting way to...
Graphical Processing Units (GPUs) are known to be excellent computation accelerators. However, their...
AbstractObsidian is a domain specific language for data-parallel programming on graphics processors ...
Graphics Processing Units (GPUs) offer potential for very high performance; they are also rapidly ev...
We present a domain specific language, embedded in Haskell, for general purpose parallel programming...
Computers today are becoming more and more parallel. General purpose processors (CPUs) have multipl...
Graphics Processing Units (GPUs) are powerful computing devices that with the advent of CUDA/OpenCL ...
GPUs have been gaining popularity as general purpose parallel processors that deliver a performance ...
This document accompanies the article The Design and Implemen-tation of a Verification Technique for...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
In light of recent hardware advances, General Purpose Graph-ics Processing Units (GPGPUs) are becomi...
This paper presents a real-world pricing kernel for financial deriva-tives and evaluates the languag...