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á bibliografia

Vydané 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ý príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.10.2014
Predmet:	Avatars Cognition Concrete Image edge detection infeasible path Integer linear programming Linear programming Radiation detectors WCET
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!