Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver | IEEE Conference Publication | IEEE Xplore