swMATH23763MaRDI QIDQ35530FDOQ35530
Author name not available (Why is that?)
Official website: http://www.piplib.org/
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
- An algorithm for solving parametric integer program
- IML - Integer Matrix Library
- WSAT(OIP)
- ADVIS
- Sehwa
- isl
- PolyLib
- Omega
- Quantifier elimination in automatic loop parallelization
- Mapping loop nests to multipipelined architecture
- Lucid
- 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
