5 search results - page 1 / 1 » Concurrency Analysis for Parallel Programs with Textually Al... |
LCPC
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
LCPC
2007
Springer
13 years 10 months ago
2007
Springer
PPOPP
2005
ACM
13 years 10 months ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...
CC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
IPPS
2002
IEEE
13 years 9 months ago
2002
IEEE
This paper is concerned with the efficient execution of multiplesequence alignmentmethodsin a multipleclientenvironment. Multiple sequence alignment (MSA) is a computationally ex...