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