474 search results - page 38 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
The grid security architecture today does not prevent certain unauthorized access to the files associated with a job executing on a remote machine. Programs and data are transferre...
134
click to vote
APPT
2007
Springer
15 years 3 months ago
2007
Springer
Dynamic programming is a widely applied algorithm design technique in many areas such as computational biology and scientific computing. Typical applications using this technique a...
127
Voted
CAIP
1995
Springer
15 years 5 months ago
1995
Springer
In this paper a parallel implementation of a watershed algorithm is proposed. The algorithm is designed for a ring-architecture with distributed memory and a piece of shared memory...
147
Voted
PDS
1996
15 years 3 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
103
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...