Zpět na vyhledávání

Mgr. Pavel Čadek, DiS.

Bakalářská práce

Analýza počtu iterací cyklů

Loop iteration count analysis
Anotace:
Tato práce poskytuje podrobný popis dosud používaných metod pro automatickou analýzu maximálního počtu iterací cyklů v imperativním kódu. Jmenovitě jsou to techniky abstraktní interpretace a pattern matching. Na konci práce je stručný přehled dostupných nástrojů, které nějakým způsobem provádějí analýzu počtu iterací cyklů.
Abstract:
This thesis describes methods for loop bound analysis, which are used in current WCET (worst-case execution time) analysis tools. Namely it is loop bound analysis by abstract interpretation and analysis by pattern matching. At the end of the thesis there are described four tools for WCET analysis.
 

Klíčová slova

statická analýza analýza počtu iterací cyklů WCET nejdelší doba běhu algoritmu abstraktní interpretace pattern matching SWEET TuBound AiT Bound-T loop bound analysis worst-case execution time
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 21. 5. 2012
Identifikátor: https://is.muni.cz/th/yfsy0/

Obhajoba závěrečné práce

  • Obhajoba proběhla 20. 6. 2012
  • Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
  • Oponent: Mgr. Marek Trtík, Ph.D.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce