動的可変電圧プロセッサの電圧スケジューリング問題

本論文は、動的可変電圧プロセッサのモデルと、電力遅延最適化のための基本定理を示します。静的電圧スケジューリング問題も提案され、整数線形計画（ILP）問題として定式化されます。この問題では、コアプロセッサが供給電圧を動的に変えることができるが、一度に1つの電圧レベルしか使用できないと仮定します。与えられたアプリケーションプログラムと動的可変電圧プロセッサに対して、実行時間制約の下でエネルギー消費を最小化する電圧スケジューリングを見つけることができます。