, the Multistage Sum of Pairs Expected Values, MSPEV and the Multistage Expectation of Pairs Expected Value, MEPEV by means of the new concept of auxiliary scenario and redefinition of pairs subproblems probability. We show that theorems proved in [2] and [3] for two stage case are valid also in the multi-stage

process from program execution, making certain optimizations difficult to engineer. We leverage a popular scripting language, Lua, to stage the execution of a novel low-level language, Terra. Users can implement optimizations in the high-level language, and use built-in constructs to generate and execute

GTX280 GPU, resulting in a computational speed of 672 million connections-per-second and a speed-up of 66-fold over an optimized C++ program running on a 2.83GHz Intel processor.

Many simulations in the physical sciences are expressed in terms of rectilinear arrays of variables. It is attractive to develop such simulations for use in 1-, 2-, 3- or arbitrary physical dimensions and also in a manner that supports exploitation of data-parallelism on fast modern processing

Compute unified device architecture (CUDA) is a software development platform that allows us to run C-like programs on the nVIDIA graphics processing unit (GPU). This paper presents an acceleration method for cone beam reconstruction using CUDA compatible GPUs. The proposed method accelerates

, in uenced by their speci c experience. There is another layer that is folded in production/consumption, experience, power, and culture. This is technology. By technology I mean 'the use of scienti c knowledge to specify ways of doing things in a reproducible manner'. Technology is embodied

algorithmic structure is very suitable for parallel programming on GPUs, which are today's state-of-the-art technology for parallel computing. In this study, 2D lid-driven cavity problem, which is a standard benchmark problem for fluid flow simulations, is solved using LBM with D2Q9 model and BGK

to accurately predict the kernel execution times of CSR, ELL, COO, and HYB SpMV kernels. Our proposed approach is general, and neither limited by GPU programming languages nor restricted to specific GPU architectures. In this paper, we use CUDA-based SpMV kernels and NVIDIA Tesla C2050 for our performance

Abstract not found

a b s t r a c t Search-based software testing is the application of metaheuristic search techniques to generate software tests. The test adequacy criterion is transformed into a fitness function and a set of solutions in the search space are evaluated with respect to the fitness function using a