Estimation of nested loops execution time by integer arithmetic in convex polyhedra | IEEE Conference Publication | IEEE Xplore