Diff for /res/PP-compiler.tex between versions 1.6 and 1.7

version 1.6, 2009/06/26 14:26:38 version 1.7, 2009/06/28 15:01:57
Line 70  in the Handbook of Signal Processing sys Line 70  in the Handbook of Signal Processing sys
 instruction set simulator with modelling of energy consumtion is Wattch  instruction set simulator with modelling of energy consumtion is Wattch
 \cite{BrooksTiwariMartonosi00}.  \cite{BrooksTiwariMartonosi00}.
   
 Compiler Verification \cite{Hoare,1328444,1314860}  Compiler Verification
   
    \cite{Hoare03}
    \cite{TristanLeroy09}
    \cite{TristanLeroy08}
    \cite{Kundu+09}
    \cite{Necula00} 
    \cite{ZaksPnueli08}
    \cite{Pnueli98a}
    \cite{Pnueli98b}
    \cite{GlesnerGoosZimmeermann04}
    \cite{GoosZimmermann00}
    \cite{BlechPoetzsch07}
   
 WCET \cite{}  WCET \cite{}
   

Removed from v.1.6  
changed lines
  Added in v.1.7


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>