List of Figures. List of Tables. Foreword. Preface. Abstract. 1. Introduction. 2. Software Running Time Analysis. 3. A Formal Approach to Symta. 4. Formal Cache Analysis in Symta. 5. Program Segment Cost Analysis. 6. Experiments and Results. 7. Summary and Conclusion. Appendices. Bibliography. Index.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.