New developments in WCET analysis
C Ferdinand, F Martin, C Cullmann… - Program Analysis and …, 2007 - Springer
The worst-case execution time analyzer aiT originally developed by Saarland University and
AbsInt GmbH computes safe and precise upper bounds for the WCETs of tasks. It relies on a …
AbsInt GmbH computes safe and precise upper bounds for the WCETs of tasks. It relies on a …
[图书][B] ILP-based path analysis on abstract pipeline state graphs
IJ Stein - 2010 - publikationen.sulb.uni-saarland.de
This thesis presents a novel approach to path analysis which is an integral part of the WCET
analysis. Up to now, there have been two different methods for this step, each with its …
analysis. Up to now, there have been two different methods for this step, each with its …
[PDF][PDF] Generisches slicing auf maschinencode
M Schlickling - 2005 - rw.cdl.uni-saarland.de
Hiermit versichere ich, die vorliegende Arbeit selbständig, ohne fremde Hilfe und ohne
Benutzung anderer als der von mir angegebenen Quellen angefertigt zu haben. Alle aus …
Benutzung anderer als der von mir angegebenen Quellen angefertigt zu haben. Alle aus …