Login / Signup
Precise micro-architectural modeling for WCET analysis via AI+SAT.
Abhijeet Banerjee
Sudipta Chattopadhyay
Abhik Roychoudhury
Published in:
IEEE Real-Time and Embedded Technology and Applications Symposium (2013)
Keyphrases
</>
artificial intelligence
expert systems
data analysis
np complete
statistical analysis