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

<table class="figure-group"><tr class="fig-image" id="a"><td><object data="https://static.hindawi.com/articles/mpe/volume-2015/815230/figures/815230.fig.007a.svgz" name="815230.fig.007a" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(a) </b><i>Utilization</i> = 0.5</td></tr><tr class="fig-image" id="b"><td><object data="https://static.hindawi.com/articles/mpe/volume-2015/815230/figures/815230.fig.007b.svgz" name="815230.fig.007b" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(b) </b><i>Utilization</i> = 0.7</td></tr></table>

Mathematical Problems in Engineering

fig7

Figure 7

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