PipLib
From MaRDI portal
Software:35530
No author found.
Related Items (11)
An algorithm for solving parametric integer program ⋮ Precise quantitative information flow analysis -- a symbolic approach ⋮ Computing machine-efficient polynomial approximations ⋮ Quantifier elimination in automatic loop parallelization ⋮ Dataflow analysis of array and scalar references ⋮ An algebraic algorithm for solving parametric integer programs ⋮ Some efficient solutions to the affine scheduling problem. I: One- dimensional time ⋮ Mapping loop nests to multipipelined architecture ⋮ Exact join detection for convex polyhedra and other numerical abstractions ⋮ A novel analytical integer optimization method for wavelet based subband coding ⋮ Some efficient solutions to the affine scheduling problem. II: Multidimensional time
This page was built for software: PipLib
