Mgr. Pavel Čadek, DiS.

Bachelor's thesis

Analýza počtu iterací cyklů

Loop iteration count analysis
Anotácia:
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.
 
 
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 21. 5. 2012

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

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

Citační záznam

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