Energy Efficient Task Assignment with Guaranteed Probability Satisfying Timing Constraints for Embedded Systems | IEEE Journals & Magazine | IEEE Xplore