References of paderborn.ps.gz

[BCRS97]

F. Bodin, Z. Chamski, E. Rohou, and A. Seznec.
Functional Specification of SALTO: A Retargetable System for Assembly Language Transformation and Optimization. rev. 1.00 beta.. INRIA, June 1997.

[CC77]

P. Cousot and R. Cousot.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
In POPL, pages 238--252, January 1977.

[Fer97]

C. Ferdinand.
Cache Behavior Prediction for Real-Time Systems.
PhD Thesis, Uni. d. Saarlandes, September 1997.

[FMW97]

C. Ferdinand, F. Martin, and R. Wilhelm.
Applying Compiler Techniques to Cache Behavior Prediction.
In LCTRTS, pages 37--46, June 1997.

[FMWA98]

C. Ferdinand, F. Martin, R. Wilhelm, and M. Alt.
Cache Behavior Prediction by Abstract Interpretation.
Science of Computer Programming, Elsevier, 1998.

[FVPF95]

A. Fauth, J. Van Praet, and M. Freericks.
Describing Instruction Set Processors Using nML.
In European Design and Test Conference. IEEE, 1995.

[FW98]

C. Ferdinand and R. Wilhelm.
On Predicting Data Cache Behavior for Real-Time Systems..
In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, June 1998.

[Had98]

George Hadjiyiannis.
ISDL: Instruction Set Description Language Version 1.0.
Technical report, MIT RLE, April 1998.

[KT98]

D. Kästner and S. Thesing.
Cache Sensitive Pre-Runtime Scheduling..
In Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Montreal, Canada, June 1998.

[LBJ⁺95]

S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, S.-M. Moon, and C. S. Kim.
An Accurate Worst Case Timing Analysis for RISC Processors.
IEEE Transactions on Software Engineering, 21(7):593--604, July 1995.

[LMW96]

Y.-T. S. Li, S. Malik, and A. Wolfe.
Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches.
In RTSS, December 1996.

[Mar98]

F. Martin.
PAG---an efficient program analyzer generator.
International Journal on Software Tools for Technology Transfer, 2(1), 1998.

[MAWF98]

F. Martin, M. Alt, R. Wilhelm, and C. Ferdinand.
Analysis of Loops.
In Proceedings of the International Conference on Compiler Construction (CC'98). Springer, 1998.

[Mue96]

F. Mueller.
Generalizing Timing Predictions to Set-Associative Caches.
TR96-66, Institut f. Informatik, Humboldt-University, July 1996.

[MWH94]

F. Mueller, D. B. Whalley, and M. Harmon.
Predicting Instruction Cache Behavior.
In LCTRTS, 1994.

[NNH99]

F. Nielson, H. R. Nielson, and C. Hankin.
Principles of Program Analysis. Springer, 1999.

[PK89]

P. Puschner and Ch. Koza.
Calculating the Maximum Execution Time of Real-Time Programs.
Real-Time Systems, 1:159--176, 1989.

[PS91]

C. Y. Park and A. C. Shaw.
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
IEEE Computer, 24(5):48--57, May 1991.

[Sch98]

Jörn Schneider.
Statische Pipeline-Analyse für Echtzeitsysteme.
Dipl. Thesis, Universität des Saarlandes, October 1998.

[SF99]

J. Schneider and C. Ferdinand.
Pipeline behavior prediction for superscalar processors.
Technical Report A/02/99, Uni. d. Saarlandes, February 1999.

[Sic97]

Martin Sicks.
Adre\ss bestimmung zur Vorhersage des Verhaltens von Daten-Caches.
Dipl. Thesis, Uni. d. Saarlandes, 1997.

[TF98]

H. Theiling and C. Ferdinand.
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis.
In RTSS, pages 144--153, Madrid, Spain, December 1998.

[The98]

H. Theiling.
Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden.
Dipl. Thesis, Uni. d. Saarlandes, Sep. 1998.

Visited: