English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Basic

show hide
Genre: Thesis
Latex : Static Detection of Parametric Loop Bounds on {C} Code

Files

show Files
hide Files
:
Ohla Honcharova.pdf (Any fulltext), 507KB
 
File Permalink:
-
Name:
Ohla Honcharova.pdf
Description:
-
OA-Status:
Visibility:
Restricted (Max Planck Institute for Informatics, MSIN; )
MIME-Type / Checksum:
application/pdf
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Honcharova, Olha1, Author           
Finkbeiner, Bernd2, Advisor
Martin, Florian2, Referee
Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551              
2External Organizations, ou_persistent22              

Content

show
hide
Free keywords: -
 Abstract: 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

show
hide
Language(s): eng - English
 Dates: 2009-02-202009
 Publication Status: Issued
 Pages: -
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Honcharova2009
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show