1309.43 결정론적 실행 시간 보장 전략