+\subsection{The verifications of the proposed algorithm}
+\label{sec.verif.algo}
+The precision of the proposed algorithm mainly depends on the execution time prediction model defined in
+EQ(\ref{eq:perf}) and the energy model computed by EQ(\ref{eq:energy}).
+The energy model is also significantly dependent on the execution time model because the static energy is
+linearly related the execution time and the dynamic energy is related to the computation time. So, all of
+the work presented in this paper is based on the execution time model. To verify this model, the predicted
+execution time was compared to the real execution time over SimGrid/SMPI simulator, v3.10~\cite{casanova+giersch+legrand+al.2014.versatile},
+for all the NAS parallel benchmarks NPB v3.3
+\cite{NAS.Parallel.Benchmarks}, running class B on 8 or 9 nodes. The comparison showed that the proposed execution time model is very precise,
+the maximum normalized difference between the predicted execution time and the real execution time is equal
+to 0.03 for all the NAS benchmarks.
+
+Since the proposed algorithm is not an exact method and do not test all the possible solutions (vectors of scaling factors)
+in the search space and to prove its efficiency, it was compared on small instances to a brute force search algorithm
+that tests all the possible solutions. The brute force algorithm was applied to different NAS benchmarks classes with
+different number of nodes. The solutions returned by the brute force algorithm and the proposed algorithm were identical
+and the proposed algorithm was on average 10 times faster than the brute force algorithm. It has a small execution time:
+for a heterogeneous cluster composed of four different types of nodes having the characteristics presented in
+table~(\ref{table:platform}), it takes on average \np[ms]{0.04} for 4 nodes and \np[ms]{0.15} on average for 144 nodes
+to compute the best scaling factors vector. The algorithm complexity is $O(F\cdot (N \cdot4) )$, where $F$ is the number
+of iterations and $N$ is the number of computing nodes. The algorithm needs from 12 to 20 iterations to select the best
+vector of frequency scaling factors that gives the results of the next sections.
+