The following pages link to PipLib (Q35530):
Displayed 11 items.
- An algorithm for solving parametric integer program (Q324821) (← links)
- Some efficient solutions to the affine scheduling problem. I: One- dimensional time (Q687632) (← 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)
- Quantifier elimination in automatic loop parallelization (Q2457396) (← links)
- A novel analytical integer optimization method for wavelet based subband coding (Q2798128) (← links)
- Computing machine-efficient polynomial approximations (Q3549157) (← links)