diff --git a/manuscrit/20_foundations/20_code_analyzers.tex b/manuscrit/20_foundations/20_code_analyzers.tex index 54b15bc..ecd7962 100644 --- a/manuscrit/20_foundations/20_code_analyzers.tex +++ b/manuscrit/20_foundations/20_code_analyzers.tex @@ -486,8 +486,6 @@ stead. In the literature or in analyzers' reports, the throughput of a kernel is often referred to as its \emph{IPC} (its unit). -\newpage - \begin{notation}[Experimental measure of $\cyc{\kerK}$] We note $\cycmes{\kerK}{n}$ the experimental measure of $\kerK$, realized by: @@ -552,8 +550,6 @@ straight-line code linked to other basic blocks to reflect control flow. We define this notion here formally, to use it soundly in the following chapters of this manuscript. -\newpage % FIXME - \begin{notation} For the purposes of this section, \begin{itemize}