Stephan Wilhelm, Christoph Cullmann. Integrating Abstract Caches with Symbolic Pipeline Analysis. In Björn Lisper, editor, 10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium. Volume 15 of OASICS, pages 36-43, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
@inproceedings{WilhelmC10, title = {Integrating Abstract Caches with Symbolic Pipeline Analysis}, author = {Stephan Wilhelm and Christoph Cullmann}, year = {2010}, doi = {10.4230/OASIcs.WCET.2010.36}, url = {http://dx.doi.org/10.4230/OASIcs.WCET.2010.36}, tags = {caching, analysis}, researchr = {https://researchr.org/publication/WilhelmC10}, cites = {0}, citedby = {0}, pages = {36-43}, booktitle = {10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium}, editor = {Björn Lisper}, volume = {15}, series = {OASICS}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, isbn = {978-3-939897-21-7}, }