You are here: Startseite -  Parajumper Jacke Herren PAG In dieser Arbeit wird abstrakte

Parajumper Jacke Herren PAG In dieser Arbeit wird abstrakte

Parajumper Jacke Herren

Zusammenfassung Auslegung ist eine Technik für die statische Erkennung der dynamischen Eigenschaften von Programmen. Es ist Semantik-basierte, das Parajumpers In Italien Günstiger heißt, sie berechnet approximative Eigenschaften der Semantik von Programmen. Auf dieser Basis ermöglicht es auf Richtigkeit Proofs von Analysen dar. Sie ersetzt gebräuchlichen Ad-hoc-Techniken, die von systematischen, nachweisbar diejenigen, und es erlaubt die automatische Erzeugung von Analysatoren von Spezifikationen, die im Programm Analyzer Generator Parajumper Jacke Herren (PAG). In dieser Arbeit wird abstrakte Interpretation für das Problem der Vorhersage der Cache-Verhalten von Programmen angewendet. Abstrakt Semantik Maschinenprogramme definiert, die den Inhalt des Caches zu bestimmen. Für interprozedurale Analyse werden bestehende Methoden geprüft und ein neuer Ansatz, der vor allem für die Cache-Analyse zugeschnittene vorgestellt. Dies ermöglicht eine statische Zuordnung des Cache-Verhaltens von Speicherreferenzen von Programmen . Die berechneten Daten können verwendet werden, um Worst-Case-Ausführungszeitschätzungen zu schärfen. Es ist möglich, Unterricht, Daten zu analysieren und kombiniert Unterricht / Daten-Caches für gemeinsame (Re-) Platzierung und Schreibstrategien. Die experimentellen Ergebnisse präsentiert, die die Anwendbarkeit demonstrieren die Analyse.
0 Kommentare


Sprechen Sie Ihre Meinung