Automatic processor lower bound formulas for array computations | IEEE Conference Publication | IEEE Xplore