A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking

Table 2

Parameters for the linearized leakage power of processor 2.

1.0	1.10	18.497	0.2149
0.9027	1.05	14.998	0.2043
0.8797	1.00	12.315	0.1942
0.8553	0.95	10.238	0.1846
0.8291	0.90	8.6126	0.1754
0.8010	0.85	7.3249	0.1666