References of ilp-cache.ps.gz

[AFMW96]

Martin Alt, Christian Ferdinand, Florian Martin, and Reinhard Wilhelm.
Cache Behavior Prediction by Abstract Interpretation.
In Proceedings of SAS'96, Static Analysis Symposium, LNCS 1145, pages 52--66. Springer, September 1996.

[AM95]

Martin Alt and Florian Martin.
Generation of Efficient Interprocedural Analyzers with PAG.
In Proceedings of SAS'95, Static Analysis Symposium, LNCS 983, pages 33--50. Springer, September 1995.

[CC77]

P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pages 238--252, January 1977.

[Fer97]

Christian Ferdinand.
Cache Behavior Prediction for Real-Time Systems.
Dissertation, Universität des Saarlandes, September 1997.

[FMW97]

Christian Ferdinand, Florian Martin, and Reinhard Wilhelm.
Applying Compiler Techniques to Cache Behavior Prediction.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, pages 37--46, June 1997.

[FMW98]

Christian Ferdinand, Florian Martin, and Reinhard Wilhelm.
Cache Behavior Prediction by Abstract Interpretation.
Science of Computer Programming, 1998. Selected for SAS'96 special issue.

[LBJ⁺95]

Sung-Soo Lim, Young Hyun Bae, Gye Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sang Kim.
An Accurate Worst Case Timing Analysis for RISC Processors.
IEEE Transactions on Software Engineering, 21(7):593--604, July 1995.

[LM95]

Yau-Tsun Steven Li and Sharad Malik.
Performance Analysis of Embedded Software Using Implicit Path Enumeration.
In Proceedings of the 32nd ACM/IEEE Design Automation Conference, pages 456--461, June 1995.

[LMW95]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software.
In Proceedings of the IEEE Real-Time Systems Symposium, pages 298--307, December 1995.

[LMW96]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches.
In Proceedings of the IEEE Real-Time Systems Symposium, December 1996.

[MWH94]

Frank Mueller, David B. Whalley, and Marion Harmon.
Predicting Instruction Cache Behavior.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, 1994.

[OS97]

Greger Ottoson and Mikael Sjödin.
Worst-Case Execution Time Analysis for Modern Hardware Architectures.
In Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tool Support for Real-Time Systems, pages 47--55, June 1997.

[Sta96]

John A. Stankovic.
Real-Time and Embedded Systems. ACM 50th Anniversary Report on Real-Time Computing Research, 1996. http://www-ccs.cs.umass.edu/sdcr/rt.ps.

[WM95]

Reinhard Wilhelm and Dieter Maurer.
Compiler Design. International Computer Science Series. Addison--Wesley, 1995. Second Printing.

Visited: