An efficient method to maintain resource availability information for scheduling applications | IEEE Conference Publication | IEEE Xplore