Tabu search based multiple voltage scheduling under both timing and resource constraints | IEEE Conference Publication | IEEE Xplore