Author:
Ferdinand Christian,Wilhelm Reinhard
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. M. Alt, C. Ferdinand, F. Martin, and R. Wilhelm. Cache Behavior Prediction by Abstract Interpretation. In Proceedings of SAS’96, Static Analysis Symposium, LNCS 1145, pages 52–66. Springer, Sept. 1996.
2. M. Alt and F. Martin. Generation of Efficient Interprocedural Analyzers with PAG. In Proceedings of SAS’95, Static Analysis Symposium, LNCS 983, pages 33–50. Springer, Sept. 1995.
3. P. Cousot and R. Cousot. Static Determination of Dynamic Properties of Programs. In Proceedings of the Second International Symposium on Programming, pages 106–130, Dunod, Paris, France, 1976.
4. C. Ferdinand. A Fast and Efficient Cache Persistence Analysis. Technical Report 10/97, Universität des Saarlandes, Sonderforschungsbereich 124, Aug. 1997.
5. C. Ferdinand. Cache Behavior Prediction for Real-Time Systems. Dissertation, Universität des Saarlandes, Sept. 1997.
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages;ACM Transactions on Software Engineering and Methodology;2023-12-21
2. Towards Access Pattern Prediction for Big Data Applications;2022 13th International Conference on Information and Communication Technology Convergence (ICTC);2022-10-19
3. Testing Implementation Soundness of a WCET Analysis Tool;A Journey of Embedded and Cyber-Physical Systems;2020-07-31
4. Scope-aware data cache analysis for OpenMP programs on multi-core processors;Journal of Systems Architecture;2019-09
5. Abstract interpretation under speculative execution;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08