A general approach for expressing infeasibility in Implicit Path Enumeration Technique

Static timing analysis aims at computing a guaranteed upper bound to the Worst-Case Execution Time (WCET) of a program. It requires both an accurate modeling of the hardware, and a precise analysis of the program in order to reject infeasible executions (in particular, all infinite ones). For the ac...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2014 proceedings of the International Conference on Embedded Software (EMSOFT) : October 12-17, 2014, Jaypee Greens Golf and Spa Resort, New Delhi, India S. 1 - 9
1. Verfasser:	Raymond, Pascal
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.10.2014
Schlagworte:	Avatars Cognition Concrete Image edge detection infeasible path Integer linear programming Linear programming Radiation detectors WCET
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!