Sciweavers

420 search results - page 19 / 84
» Scalable Parallel Programming with CUDA
Sort
View
ESOP
2011
Springer
12 years 12 months ago
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
Antoine Miné
EUROSIM
1994
13 years 9 months ago
Pact: An Environment for Parallel Heuristic Programming
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
Marc Aguilar, Béat Hirsbrunner
PVM
2001
Springer
14 years 26 days ago
Review of Performance Analysis Tools for MPI Parallel Programs
In order to produce MPI applications that perform well on today’s parallel architectures, programmers need effective tools for collecting and analyzing performance data. Because ...
Shirley Moore, David Cronk, Kevin S. London, Jack ...
PPOPP
1995
ACM
13 years 12 months ago
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs
It is widely acknowledged in high-performance computing circles that parallel input/output needs substantial improvement in order to make scalable computers truly usable. We prese...
Rajesh Bordawekar, Alok N. Choudhary, Ken Kennedy,...
ICPP
1993
IEEE
14 years 17 days ago
Scalability Study of the KSR-1
Scalability of parallel architectures is an interesting area of current research. Shared memory parallel programming is attractive stemming from its relative ease in transitioning...
Umakishore Ramachandran, Gautam Shah, Ravi Kumar, ...