| 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{} |
| |
|
