The following pages link to Parametric integer programming (Q3199194):
Displayed 10 items.
- PipLib (Q35530) (← links)
- An algorithm for solving parametric integer program (Q324821) (← links)
- Dataflow analysis of array and scalar references (Q1186095) (← links)
- Some efficient solutions to the affine scheduling problem. II: Multidimensional time (Q1322507) (← links)
- An algebraic algorithm for solving parametric integer programs (Q1752503) (← links)
- Mapping loop nests to multipipelined architecture (Q1758677) (← links)
- Exact join detection for convex polyhedra and other numerical abstractions (Q2269830) (← links)
- Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)
- A novel analytical integer optimization method for wavelet based subband coding (Q2798128) (← links)
- Symbolic Worst Case Execution Times (Q3105743) (← links)