Calculating Polynomial Runtime Properties
No abstract available.
Related papers
- A Programming Language for Feasible Solutions SAS 2025
- An Efficient Polynomial Multiplication Derived Implementation of Convolution in Neural Networks CGO 2025
- Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties CAV 2013
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition ECOOP 2017
- Calculating a linear-time solution to the densest-segment problem JFP 2015
- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization SAS 2015
- A shortcut fusion rule for circular program calculation Haskell 2007
- Floorplan: spatial layout in memory management systems GPCE 2019