PipLib

swMATH23763MaRDI QIDQ35530FDOQ35530

Author name not available (Why is that?)

Described by source

• Parametric integer programming

Cited In (11)

• 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
• 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