ILP-based scheme for timing variation-aware scheduling and resource binding | IEEE Conference Publication | IEEE Xplore