By Topic

Experiments with a program timing tool based on source-level timing schema

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Park, C.Y. ; Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA ; Shaw, A.C.

Analytic methods are employed at the source-language level, using formal timing schema that include control costs, handle interferences such as interrupts, and produce guaranteed best- and worst-case bounds. The timing tool computes the deterministic execution times for programs that are written in a subset of C and run on a bare machine. Two versions of the tool were written, using two granularity extremes for the atomic elements of the timing schema. All overview of the tool is given, timing schema and code prediction are discussed, and machine analysis and timing tool design are examined. Experimental and validation results are reported. It was found that all the predicted times are consistent, and most are safe. Some predictions are fairly tight, while others are a little loose. There are clear technical reasons that explain the differences between measured and predicted times, and technical solutions that should minimize these differences within the timing schema framework are seen.<>

Published in:

Computer  (Volume:24 ,  Issue: 5 )