Sciweavers

3660 search results - page 48 / 732
» Parallel Program Archetypes
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 10 months ago
Automatic Performance Debugging of SPMD Parallel Programs
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
Xu Liu, Lin Yuan, Jianfeng Zhan, Bibo Tu, Dan Meng
MICRO
2007
IEEE
164views Hardware» more  MICRO 2007»
15 years 6 months ago
A Practical Approach to Exploiting Coarse-Grained Pipeline Parallelism in C Programs
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
William Thies, Vikram Chandrasekhar, Saman P. Amar...
PPOPP
1993
ACM
15 years 3 months ago
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
Mary W. Hall, Timothy J. Harvey, Ken Kennedy, Nath...
CLUSTER
2003
IEEE
15 years 5 months ago
Parallel Design Pattern for Computational Biology and Scientific Computing Applications
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
Weiguo Liu, Bertil Schmidt
SAS
2009
Springer
175views Formal Methods» more  SAS 2009»
16 years 11 days ago
Automatic Parallelization and Optimization of Programs by Proof Rewriting
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
Clément Hurlin