Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
No abstract available.
Related papers
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs VMCAI 2015
- Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors PPoPP 2009
- Predictable accelerator design with time-sensitive affine types PLDI 2020
- Space-Time Interpolants CAV 2018
- Methods of inference and learning for performance modeling of parallel applications PPoPP 2007
- Decision Tree Learning in CEGIS-Based Termination Analysis CAV 2021
- IOOpt: automatic derivation of I/O complexity bounds for affine programs PLDI 2021
- IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability CAV 2021