References of arbeit.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.

[AMW95]

Martin Alt, Florian Martin, and Reinhard Wilhelm.
Generating Dataflow Analyzers with PAG.
Technical Report A10-95, Universität des Saarlandes, 1995.

[ASU86]

Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman.
Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.

[ATG96]

Ali-Reza Adl-Tabatabai and Thomas Gross.
Source-Level Debugging of Scalar Optimized Code.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 33--43, May 1996.

[BB94]

Peter T. Breuer and Jonathan P. Bowen.
Decompilation: The Enumeration of Types and Grammars.
In ACM Transactions on Programming Languages and Systems, volume 16(5), pages 1613--1647, September 1994.

[Ber]

Michel Berkelaar.
FTP directory of lp_solve.
ftp://ftp.es.ele.tue.nl/pub/lp_solve.

[BHS92]

Gary Brooks, Gilbert J. Hansen, and Steve Simmons.
A New Approach to Debugging Optimized Code.
In Christopher W. Fraser, editor, Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 1--11, San Francisco, CA, June 1992. ACM Press.

[BL92]

Thomas Ball and James Larus.
Optimally Profiling and Tracing Programs.
In Proceedings of the 19th ACM Symposium on Principles of Programming Languages, pages 59--70, January 1992.

[CC77a]

Patrick Cousot and Radhia 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.

[CC77b]

Patrick Cousot and Radhia Cousot.
Static Determination of Dynamic Properties of Generalized Type Unions.
In Proceedings of an ACM Conference on Language Design for Reliable Software, volume 12(3), pages 77--94, Raleigh, NC, March 1977.

[CG92]

Christina Cifuentes and K. John Gough.
A New Approach to Debugging Optimized Code.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 1992.

[Chv83]

Vasek Chvátal.
Linear Programming. W. H. Freeman and Company, 1983.

[Cin]

Cinderella 3.0 Home Page.
http://www.ee.princeton.edu/~yauli/cinderella-3.0/.

[CLR90]

Thomas H. Cormen, Charles E. Leiserson, and Roland L. Rivest.
Introduction to Algorithms. MIT Press, 1990.

[CWM93]

Samit Chaudhuri, Robert A. Walker, and John Mitchel.
The Structure of Assignment, Precedence, and Resource Constraints in the ILP Approach to the Scheduling Problem.
In Edna Straub, editor, Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 25--31. IEEE Computer Society Press, 1993.

[Fer97a]

Christian Ferdinand.
A Fast and Efficient Cache Persistence Analysis.
Technical Report 10/97, Universität des Saarlandes, Sonderforschungsbereich 124, August 1997.

[Fer97b]

Christian Ferdinand.
Cache Behavior Prediction for Real-Time Systems. PhD thesis (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. Ausgewählt für Sonderband SAS'96.

[FMWA97]

Christian Ferdinand, Florian Martin, Reinhard Wilhelm, and Martin Alt.
Cache Behavior Prediction by Abstract Interpretation.
Technical Report 05/97, Universität des Saarlandes, Sonderforschungsbereich 124, May 1997.

[FW98]

Christian Ferdinand and Reinhard Wilhelm.
Fast and Efficient Cache Behavior Prediction for Real-Time Systems.
Real-Time Systems, 1998. submitted for publication.

[HBL⁺95]

Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Minsuk Lee, Heanshik Shin, and Chong Sang Kim.
Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study.
In Proceedings of the 16th IEEE Real-Time Systems Symposium, pages 308--319, December 1995.

[HU94]

John E. Hopcroft and Jeffrey D. Ullman.
Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie. Addison-Wesley, third edition, 1994.

[JPE95]

Multimedia-Datenformate, Kapitel 2: JPEG-Bilddatenkompression.
http://www.tp4.ruhr-uni-bochum.de/MultiMedia/02_JPEG/index.html.

[JR94]

Daniel Jackson and Eugene J. Rollins.
A New Model of Program Dependencies for Reverse Engeneering.
In Proceedings of the 1994 ACM SIGSOFT Conference, December 1994.

[Käs97]

Daniel Kästner.
Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x. Master's thesis (Diplomarbeit), Universität des Saarlandes, September 1997.

[KL98]

Daniel Kästner and Marc Langenbach.
Integer Linear Programming vs. Graph-Based Methods in Code Generation.
Technical Report A/01/98, Universität des Saarlandes, February 1998.

[Lar90]

James Larus.
Abstract Execution: A Technique for Efficiently Tracing Programs.
Software Practice and Experience, 20(12):1241--1258, December 1990.

[Lar96]

James Larus.
EEL Guts: Using the EEL Executable Editing Library. Computer Sciences Department, University of Wisconsin-Madison, 1996.

[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.

[LMW95a]

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

[LMW95b]

Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe.
Performance Estimation of Embedded Software with Instruction Cache Modeling.
In Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, pages 380--387, November 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 17th IEEE Real-Time Systems Symposium, December 1996.

[LS95]

James R. Larus and Eric Schnarr.
EEL: Machine-Independent Executable Editing.
In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 291--300, June 1995.

[LT79]

Thomas Lengauer and Robert Endre Tarjan.
A Fast Algorithm for Finding Dominators in Flowgraphs.
ACM Transactions on Programming Languages and Systems (TOPLAS), 1(1):121--141, July 1979.

[Mar95]

Florian Martin.
Entwurf und Implementierung eines Generators für Datenflu\ssanalysatoren. Master's thesis (Diplomarbeit), Universität des Saarlandes, 1995.

[MAWF98]

Florian Martin, Martin Alt, Reinhard Wilhelm, and Christian Ferdinand.
Analysis of Loops.
In Kai Koskimies, editor, Proceedings of the 7th International Conference on Compiler Construction, volume 1383 of Lecture Notes in Computer Science. Springer, March/April 1998.

[Mue94]

Frank Mueller.
Static Cache Simulation and its Applications.
PhD Thesis, Florida State University, July 1994.

[NW88]

George L. Nemhauser and Laurence A. Wolsey.
Integer and Combinatorial Optimization. John Wiley \& Sons Ltd., New York, 1988.

[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.

[PK89]

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

[PS91]

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

[Ram97]

Thomas Ramrath.
Entwurf und Implementierung eines Frontends für Analysen zur Vorhersage des Cache- und Pipeline-Verhaltens. Master's thesis (Diplomarbeit), Universität des Saarlandes, November 1997.

[RH97]

Monika Rauch Henzinger.
Continuous Profiling: Where Have All the Cycles Gone?.
Vortrag im Rahmen des Informatik-Kolloquiums, Universität des Saarlandes, August 1997.

[San95]

Georg Sander.
VCG: Visualisation of Compiler Graphs, User Documentation V.1.30. Universität des Saarlandes, February 1995.

[Sch96a]

Alexander Schrijver.
Theory of Linear and Integer Programming. John Wiley \& Sons Ltd., 1996.

[Sch96b]

Hartmut Schwab.
Documentation for lp_solve, 1996. Im lp_solve-Paket als HARTMUT_DOCUMENTATION enthalten.

[Sch98]

Jörn Schneider.
Statische Pipeline-Analyse für Echtzeitsysteme. Master's thesis (Diplomarbeit), Universität des Saarlandes, October 1998. noch nicht erschienen.

[Sei96]

Raimund Seidel.
Skript zur Vorlesung Optimierung. Universität des Saarlandes, Sommersemester 1996.

[Sic97]

Martin Sicks.
Adre\ssbestimmung zur Vorhersage des Verhaltens von Daten-Caches. Master's thesis (Diplomarbeit), Universität des Saarlandes, 1997.

[SJ90]

Guy L. Steele Jr..
Common Lisp, The Language. Digital Press, second edition, 1990.

[SP81]

Micha Sharir and Amir Pnueli.
Two Approaches to Interprocedural Data Flow Analysis.
In Steven S. Muchnick and Neil D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 7, pages 189--233. Prentice-Hall, 1981.

[SPA90]

SPARC Architecture Manual, 1990.

[SS93]

Günter Scheja and Uwe Storch.
Lehrbuch der Algebra. B. G. Teubner Stuttgart, second edition, 1993. Teil 1.

[Sta96]

John A. Stankovic.
Real-Time and Embedded Systems. ACM 50th Anniversary Report on Real-Time Computing Research, 1996.

[Str97]

Bjarne Stroustrup.
The C++ Programming Language. Addison-Wesley, third edition, 1997.

[TG98]

Caroline Tice and Susan L. Graham.
OPTVIEW: A New Approach for Examining Optimized Code.
In Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, Montreal, June 1998.

[TMLA98]

Stephan Thesing, Florian Martin, Oliver Lauer, and Martin Alt.
PAG Manual V1.0 12.03.1998. Fachbereich 14, Universität des Saarlandes, 1998.

[TNPa]

The Nine Planets: Callisto.
http://www.seds.org/billa/tnp/callisto.html.

[TNPb]

The Nine Planets: Deimos.
http://www.seds.org/billa/tnp/deimos.html.

[TNPc]

The Nine Planets: Phobos.
http://www.seds.org/billa/tnp/phobos.html.

[vDKT93]

Arie van Deursen, Paul Klint, and Frank Tip.
Origin Tracking.
Journal of Symbolic Computation, 15(5):523--546, 1993.

[WAR97]

WARTS: Wisconsin Architectural Research Tool Set.
http://www.cs.wisc.edu/~larus/warts.html.

[WM95]

Reinhard Wilhelm and Dieter Maurer.
Übersetzerbau --- Theorie, Konstruktion, Generierung. Springer-Verlag, second edition, 1995.

[Zei95]

Patrik Zeimetz.
Transformationen zur Verbesserung der Datenlokalität in Bezug auf Cachespeicher. Master's thesis (Diplomarbeit), Universität des Saarlandes, 1995.

Visited: