Processor lower bound formulas for array computations and parametric Diophantine systems | IEEE Conference Publication | IEEE Xplore