217 search results - page 5 / 44 » Data Flow Equations for Explicitly Parallel Programs |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--The expression of parallel codes through abstract, high-level specifications of global control and data flow can greatly simplify the task of creating large parallel prog...
CONCURRENCY
2010
13 years 4 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
SIGSOFT
1994
ACM
13 years 11 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
VL
1998
IEEE
13 years 11 months ago
1998
IEEE
We present a scalable visualization technique for automatic animation of data-flow visual program execution. We also show a framework to assist programmers' browsing tasks by...