GPGPU |
General-Purpose Computation Using Graphics Hardware
|
IntroductionGPGPU stands for General-Purpose computation on GPUs. With the increasing programmability of commodity graphics processing units (GPUs), these chips are capable of performing more than the specific graphics computations for which they were designed. They are now capable coprocessors, and their high speed makes them useful for a variety of applications. The goal of this page is to catalog the current and historical use of GPUs for general-purpose computation.
|
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware This paper by Banterle
and Giacobazzi at Università degli Studi di Verona presents an efficient
implementation of the Octagon Abstract Domain (OAD) on graphics hardware.
OAD is a relational numerical abstract domain which approximates
invariants as conjuctions of constraints of the form +/- x +/- y <= c,
where x and y are program variables and c is a constant which can be an
integer, rational or real. OAD has been used with success in the aerospace
industry for analyzing C programs such as the flight control software for
the Airbus A340 fly-by-wire system.
(
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.
Francesco Banterle and Roberto Giacobazzi. Proceeding of The 14th
International Static Analysis Symposium (SAS). 2007)
Posted: 14 Jul 2007 [GPGPU /Scientific Computing/Mathematics] # Lattice QCD as a video game (GPGPU for quantum field theory) This paper outlines how GPGPU techniques can be used for Monte
Carlo simulations of quantum field theories such as QCD. The speedup
is around a factor of 4-10 depending on the GPU model relative to
SSE optimized code on a Pentium 4. Sample code is also given.
(Lattice QCD as a video game)
Posted: 14 Jul 2007 [GPGPU /Scientific Computing] # |
Categories
|
