BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-218831, author = {Huber, Benedikt and Prokesch, Daniel and Puschner, Peter}, title = {Combined WCET analysis of bitcode and machine code using control-flow relation graphs}, booktitle = {Proceedings of the 14th ACM SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems}, year = {2013}, pages = {163--172}, publisher = {The Association for Computing Machinery}, isbn = {978-1-4503-2085-6}, doi = {10.1145/2499369.2465567}, keywords = {Control-Flow Relation; WCET Analysis; Flow Facts Transformation; LLVM}, note = {talk: Conference on Languages, Compilers and Tools for Embedded Systems (LCTES 2013), Seattle, WA, USA; 2013-06-20 -- 2013-06-21} } 1 Datensatz ausgegeben