7216

Posts

Feb, 8

Symbolic Testing of OpenCL Code

We present an effective technique for crosschecking a C or C++ program against an accelerated OpenCL version, as well as a technique for detecting data races in OpenCL programs. Our techniques are implemented in KLEE-CL, a symbolic execution engine based on KLEE and KLEE-FP that supports symbolic reasoning on the equivalence between symbolic values. Our […]
Feb, 8

Verifiable Computation with Massively Parallel Interactive Proofs

As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown increasingly urgent. The concept of verifiable computation enables a weak client to outsource difficult computations to a powerful, but untrusted, server. Protocols for verifiable computation aim to provide the client with a guarantee that the server performed the requested computations […]
Feb, 7

GMP implementation on CUDA – A Backward Compatible Design With Performance Tuning

The goal of this project is to implement the GMP library in CUDA and evaluate its performance. GMP (GNU Multiple Precision) is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical limit to the precision except the ones implied by the available memory […]
Feb, 7

Enabling Traceability in MDE to Improve Performance of GPU Applications

Graphics Processor Units (GPUs) are known for offering high performance and power efficiency for processing algorithms that suit well to their massively parallel architecture. Unfortunately, as parallel programming for this kind of architecture requires a complex distribution of tasks and data, developers find it difficult to implement their applications effectively. Although approaches based on source-to-source […]
Feb, 7

Seismic imaging based on spectral differentiation matrix and GPU implementation

Finite-difference depth migration based on one-way wave equation uses second-order, fourth-order, or other finite-order approximations for spatial derivatives. These finite-order approximations often lead to spatial dispersion errors and low accuracy. To avoid these errors, smaller mesh spacings are used, which results in huge increase in computation cost. In this paper, we develop a new spectral […]
Feb, 7

Stochastic Differential Equations simulation using GPU

We discretize generic stochastic differential equation(SDE)s using Euler and Milstein schemes. We propose GPU based random number generation GPURNG. Using GPURNG, Euler and Milstein methods, we derive algorithms with which we solve the underlying SDE. For a test case, we show the simulation results for European options. We shows that our algorithms give greater than […]
Feb, 7

Aggregate Gaze Visualization with Real-time Heatmaps

A GPU implementation is given for real-time visualization of aggregate eye movements (gaze) via heatmaps. Parallelization of the algorithm leads to substantial speedup over its CPU-based implementation and, for the first time, allows real-time rendering of heatmaps atop video. GLSL shader colorization allows the choice of color ramps. Several luminance-based color maps are advocated as […]
Feb, 6

Realistic Lighting Simulation for Interactive VR Applications

In the field of aircraft design, interior illumination increasingly becomes an important design element. Different illumination scenarios inside an aircraft cabin are considered to influence the mood of air passengers, help passengers to be better prepared for time lags and to create an overall positive environment. Consequently, a physically correct and realistic lighting simulation becomes […]
Feb, 6

Towards High Speed Aerial Tracking of Agile Targets

In order to provide a novel perspective for videography of high speed sporting events, a highly capable trajectory tracking control methodology is developed for a custom designed Kadet Senior Unmanned Aerial Vehicle (UAV). The accompanying high fidelity system identification ensures that accurate flight models are used to design the control laws. A parallel vision based […]
Feb, 6

A Computational Model of Afterimages

Afterimages are optical illusions, particularly well perceived when fixating an image for an extended period of time and then looking at a neutral background, where an inverted copy of the original stimulus appears. The full mechanism that produces the perceived specific colors and shapes is complex and not entirely understood, but most of the important […]
Feb, 6

GPU-based Swendsen-Wang multi-cluster algorithm for the simulation of two-dimensional classical spin systems

We present the GPU calculation with the common unified device architecture (CUDA) for the Swendsen-Wang multi-cluster algorithm of two-dimensional classical spin systems. We adjust the two connected component labeling algorithms recently proposed with CUDA for the assignment of the cluster in the Swendsen-Wang algorithm. Starting with the q-state Potts model, we extend our implementation to […]
Feb, 6

A toolkit to describe and interactively display three-manifolds embedded in four-space

A data structure and toolkit are presented here that allow for the description and manipulation of mathematical models of three-manifolds and their interactive display from multiple viewpoints via the OpenGL 3D graphics package. The data structure and vector math package can be extended to support an arbitrary number of Euclidean spatial dimensions. A model in […]

* * *

* * *

HGPU group © 2010-2025 hgpu.org

All rights belong to the respective authors

Contact us:

contact@hpgu.org