A dynamic scheduling benchmark: design, implementation and performance evaluation | IEEE Conference Publication | IEEE Xplore