Combined WCET analysis of bitcode and machine code using control-flow relation graphs

Benedikt Huber, Daniel Prokesch, and Peter Puschner.

Combined WCET analysis of bitcode and machine code using control-flow relation graphs.
Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA

In: Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, The Association for Computing Machinery, 2013, ISBN: 978-1-4503-2085-6, p. 163 - 172.

DOI: 10.1145/2499369.2465567

Views: 170

Reply to This

T-CREST Partners

 

© 2018   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service