Revisiting Polyhedral Analysis for Hybrid Systems
No abstract available.
Related papers
- Revisiting loop fusion in the polyhedral framework PPoPP 2014
- Warping cache simulation of polyhedral programs PLDI 2022
- A polyhedral compilation framework for loops with dynamic data-dependent bounds CC 2018
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Exploiting Sparsity in Polyhedral Analysis SAS 2005
- Polyhedral Analysis Using Parametric Objectives SAS 2012
- Polyhedral Analysis for Synchronous Languages SAS 1999
- Efficient Strongly Relational Polyhedral Analysis VMCAI 2006