Pipeline Modeling for Timing Analysis-Reference-Cited by-同舟云学术

Pipeline Modeling for Timing Analysis

Published:2002 Issue: Volume: Page:294-309
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Langenbach Marc,Thesing Stephan,Heckmann Reinhold

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45789-5_22

Reference28 articles.

1. Lect Notes Comput Sci;M. Alt,1995

2. David G. Bradlee, Robert R. Henry, and Susan J. Eggers. The Marion System for Retargetable Instruction Scheduling. In Brent Hailpern, editor, Proceedings of the ACM SIGPLAN’ 91 Conference on Programming Language Design and Implementation, pages 229–240, Toronto, ON, Canada, June 1991. ACM Press.

3. A. Colin and I. Puaut. Worst Case Execution Time Analysis for a Processor with Branch Prediction. Real-Time Systems, Special issue on worst-case execution time analysis, 18(2):249–274, 2000.

4. Patrick Cousot and Radhia Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Fourth ACM Symposium on Principles of Programming Languages, pages 238–252, Los Angeles, California, 1977. ACM Press, New York.

5. Christian Ferdinand. Cache Behavior Prediction for Real-Time Systems. PhD thesis, Universität des Saarlandes, 1997.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstract Interpretation in Industry – Experience and Lessons Learned;Static Analysis;2023

2. A Framework for Calculating WCET Based on Execution Decision Diagrams;ACM Transactions on Embedded Computing Systems;2022-05-28

3. Real time spent on real time;Communications of the ACM;2020-09-23

4. Improving the Performance of WCET Analysis in the Presence of Variable Latencies;The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems;2020-05-29

5. Toward Compact Abstractions for Processor Pipelines;Lecture Notes in Computer Science;2015