Cited in
(19)- Some efficient solutions to the affine scheduling problem. II: Multidimensional time
- Dataflow analysis of array and scalar references
- Precise quantitative information flow analysis -- a symbolic approach
- An algebraic algorithm for solving parametric integer programs
- A novel analytical integer optimization method for wavelet based subband coding
- IML - Integer Matrix Library
- WSAT(OIP)
- ADVIS
- Sehwa
- isl
- PolyLib
- Omega
- Lucid
- An algorithm for solving parametric integer program
- Quantifier elimination in automatic loop parallelization
- Mapping loop nests to multipipelined architecture
- Exact join detection for convex polyhedra and other numerical abstractions
- Computing machine-efficient polynomial approximations
- Some efficient solutions to the affine scheduling problem. I: One- dimensional time
This page was built for software: PipLib
