acm sigbed
|
emsoft
|
participants
Henrik Theiling
EMSOFT 2002: 2nd International Workshop on Embedded Software
ILP-Based Interprocedural Path Analysis
Henrik Theiling
10.1007/3-540-45828-X_26
EMSOFT 2001: 1st International Workshop on Embedded Software
Reliable and Precise WCET Determination for a Real-Life Processor
Christian Ferdinand
,
Reinhold Heckmann
,
Marc Langenbach
,
Florian Martin
,
Michael Schmidt
,
Henrik Theiling
,
Stephan Thesing
, and
Reinhard Wilhelm
10.1007/3-540-45449-7_32
http://web.cs.ucla.edu/~palsberg/course/cs239/S04/papers/Ferdinand02.pdf