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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.