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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.