High-level design and synthesis of a resource scheduler | IEEE Conference Publication | IEEE Xplore