Example: confidence
Verified Tensor-Program Optimization Via High-Level ...
f = BoundaryConditions::constant_exterior(image,0); buf(x) = f(x); output(x) = buf(x−1) + buf(x); output.split(x, x_outer, x_inner, 8, TailStrategy::GuardWithIf); buf.compute_at(output, x_outer); Halide is a good comparison point for our eforts, since it is widely adopted in industry to produce performance-competitive code.
Download Verified Tensor-Program Optimization Via High-Level ...
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: