Journals
Publish with us
Publishing partnerships
About us
Blog
Mathematical Problems in Engineering
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Mathematical Problems in Engineering
/
2015
/
Article
/
Tab 1
/
Research Article
A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking
Table 1
Parameters for the linearized leakage power.
1.0
1.5
1.4038
0.0641
0.8
1.2
0.7439
0.0308
0.6
0.9
0.390
0.0077
0.4
0.6
0.204
0.0081