142 search results - page 8 / 29 » A Constant Propagation Algorithm for Explicitly Parallel Pro... |
LCPC
1999
Springer
15 years 1 months ago
1999
Springer
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
109
Voted
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
87
Voted
ISPASS
2009
IEEE
15 years 4 months ago
2009
IEEE
Until recently, parallel programming has largely focused on the exploitation of data-parallelism in dense matrix programs. However, many important application domains, including m...
194
Voted
POPL
2006
ACM
15 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
IEEEPACT
2006
IEEE
15 years 3 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...