Section: New Software and Platforms
PolyOrdo
Polynomial Scheduler
Functional Description
Computes a polynomial schedule for a sequential polyhedral program having no affine schedule, in lieu of multidimensional schedules. Uses algorithms for finding positive polynomials in semi-algebraic sets. Status: proof of concept software, see related paper [14].