Precise micro-architectural modeling for WCET analysis via AI+SAT

Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury. Precise micro-architectural modeling for WCET analysis via AI+SAT. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 87-96, IEEE Computer Society, 2013. [doi]

Authors

Abhijeet Banerjee

This author has not been identified. Look up 'Abhijeet Banerjee' in Google

Sudipta Chattopadhyay

This author has not been identified. Look up 'Sudipta Chattopadhyay' in Google

Abhik Roychoudhury

This author has not been identified. Look up 'Abhik Roychoudhury' in Google