Improved Resource Scheduling for Lightweight SMT-COP | IEEE Conference Publication | IEEE Xplore