Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
 
 
DownloadE-Mail
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Static Detection of Parametric Loop Bounds on C Code

Honcharova, O. (2009). Static Detection of Parametric Loop Bounds on C Code. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-BA7A-7 Versions-Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-BA7B-5
Genre: Hochschulschrift
Latex : Static Detection of Parametric Loop Bounds on {C} Code

Dateien

einblenden: Dateien
ausblenden: Dateien
:
Ohla Honcharova.pdf (beliebiger Volltext), 507KB
 
Datei-Permalink:
-
Name:
Ohla Honcharova.pdf
Beschreibung:
-
OA-Status:
Sichtbarkeit:
Eingeschränkt (Max Planck Institute for Informatics, MSIN; )
MIME-Typ / Prüfsumme:
application/pdf
Technische Metadaten:
Copyright Datum:
-
Copyright Info:
-
Lizenz:
-

Externe Referenzen

einblenden:

Urheber

einblenden:
ausblenden:
 Urheber:
Honcharova, Olha1, Autor           
Finkbeiner, Bernd2, Ratgeber
Martin, Florian2, Gutachter
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
2External Organizations, ou_persistent22              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Static Worst-Case Execution Time (WCET) analysis is a technique to derive upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component for static derivation of precise WCET estimates is determination of upper bounds on the number of times loops can be iterated. The idea of the parametric loop bound analysis is to express the upper loop bound as a formula depending on parameters { variables and expressions staying constant within the loop body. The formula is constructed once for each loop. Then by instantiating this formula with values of parameters acquired externally (from value analysis, etc.), a concrete loop bound can be computed without high computational effort.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2009-02-202009
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: Saarbrücken : Universität des Saarlandes
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: BibTex Citekey: Honcharova2009
 Art des Abschluß: Master

Veranstaltung

einblenden:

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle

einblenden: