www.prismmodelchecker.org

Dynamic Power Management - 4 State Fujitsu Disk Drive - Results

(Qiu, Wu and Pedram)

Using the results presented in [KNP02d], we have computed, for the optimal policies under different performance constraints and for a of selection distributions (deterministic, exponential, Erlang, uniform and Pareto), with the same mean (0.72), modelling the inter-arrival time of requests:

Long-run Average Measures: Transient Measures:

Furthermore, restricting the inter-arrival time to be exponentially distributed, we have computed the following transient performance measures for the optimal policies under different constraints:


Case Studies