Precise micro-architectural modeling for WCET analysis via AI+SAT.
Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury
VenueARTAS
Year2013
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/BanerjeeCR13 ↗
Browse the full RTAS paper archive.