|
358
|
A loop transformation theory and an algorithm to maximize parallelism
– M E Wolf, M S Lam
- 1991
|
|
118
|
A Singular Loop Transformation Framework Based on Non-singular Matrices
– Wei Li, Keshav Pingali
- 1992
|
|
182
|
Scanning Polyhedra with DO Loops
– Corinne Ancourt, François Irigoin
- 1991
|
|
406
|
The Omega Test: a fast and practical integer programming algorithm for dependence analysis
– William Pugh
- 1992
|
|
405
|
Supercompilers for Parallel and Vector Computers
– Hans Zima, Barbara Chapman
- 1990
|
|
10
|
Loop Transformation using non-unimodular matrices
– Agustín Fernández, José M. Llabera, Miguel Valero-García
- 1995
|
|
47
|
Loop Transformation for Restructuring Compilers
– U Banerjee
- 1993
|
|
118
|
Fourier-motzkin elimination and its dual
– G B Dantzig, B C Eaves
- 1973
|
|
10
|
On Reducing Overhead in Loops
– Peter M.W. Knijnenburg, Peter M. W, Knijnenburg Aart, Aart J.C. Bik
- 1996
|
|
38
|
Deciding Separation Formulas with SAT
– Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant
- 2002
|
|
143
|
Validity Checking for Combinations of Theories with Equality
– Clark Barrett, David Dill, Jeremy Levitt
- 1996
|
|
112
|
Parallel Programming and Compilers
– C D Polychronopoulos
- 1988
|
|
427
|
Optimizing Supercompilers for Supercomputers
– M J Wolfe
- 1989
|
|
24
|
Automating Non-Unimodular Loop Transformations for Massive Parallelism
– Jingling Xue
- 1994
|
|
224
|
Supernode Partitioning
– F Irigoin, R Triolet
- 1988
|
|
99
|
Tiling Multidimensional Iteration Spaces for Multicomputers
– J. Ramanujam, P. Sadayappan
- 1992
|
|
677
|
A data locality optimizing algorithm
– Michael E. Wolf, Monica S. Lam
- 1991
|
|
20
|
Partitioning the Statement per Iteration Space Using Non-singular Matrices
– Eduard Ayguadé, Jordi Torres
- 1993
|
|
154
|
Parametric Integer Programming
– Paul Feautrier
- 1988
|
