Sciweavers

442 search results - page 2 / 89
» Parallel programming over ChinaGrid
Sort
View
119
Voted
GCC
2006
Springer
15 years 4 months ago
General Running Service: An Execution Framework for Executing Legacy Program on Grid
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
Likun Liu, Yongwei Wu, Guangwen Yang, Ruyue Ma, Fe...
92
Voted
ICPP
2006
IEEE
15 years 7 months ago
Application-Transparent Checkpoint/Restart for MPI Programs over InfiniBand
Qi Gao, Weikuan Yu, Wei Huang, Dhabaleswar K. Pand...
124
Voted
ESOP
2011
Springer
14 years 4 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é
112
Voted
PLDI
2012
ACM
13 years 3 months ago
Sound and precise analysis of parallel programs through schedule specialization
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfen...
113
Voted
JPDC
2010
133views more  JPDC 2010»
14 years 8 months ago
Lock-free parallel dynamic programming
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the ...
Alex Stivala, Peter J. Stuckey, Maria Garcia de la...