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...

Celý popis

Podrobná bibliografie

Vydáno v:	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
Hlavní autor:	Raymond, Pascal
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.10.2014
Témata:	Avatars Cognition Concrete Image edge detection infeasible path Integer linear programming Linear programming Radiation detectors WCET
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!