Voltage Assignment and Loop Scheduling for Energy Minimization while Satisfying Timing Constraint with Guaranteed Probability | IEEE Conference Publication | IEEE Xplore