Henrik Theiling  @ NUS Home/Search
Context
Related
| rw4.cs.unisb.de/~...tor_theiling.ps.gz Cached: PS.gz PS PDF Image Update Help From: rw4.cs.unisb.de/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Real-time systems have to complete their actions w.r.t. given timing constraints. In order to validate that these constraints are met, static timing analysis is usually performed to compute an upper bound of the worst-case execution times (WCET) of all the involved tasks. (Update)
Similar documents (at the sentence level):
6.7%: Extracting Safe and Precise Control Flow from Binaries - Theiling (2000) (Correct)
Similar documents based on text: More All
0.6: Optimised Modal Translation and Resolution - Schmidt (1997) (Correct)
0.5: Hierarchical Contextual Reasoning - Autexier (2003) (Correct)
0.5: Cryptographically Sound Analysis of Security Protocols - Backes (2002) (Correct)
BibTeX entry: (Update)
@misc{ theiling-control,
author = "Henrik Theiling",
title = "Control Flow Graphs for Real-Time System Analysis: Reconstruction from
Binary Executables and Usage in ILP-Based Path Analysis",
url = "citeseer.comp.nus.edu.sg/673947.html" }
Citations not processed or no citations identified.
Documents on the same site (http://rw4.cs.uni-sb.de/~theiling/publications.html): More
Run-Time Guarantees for Real-Time Systems - The USES.. - Ferdinand, Kästner.. (1999) (Correct)
Fast and Precise WCET Prediction by Separated Cache and Path.. - Theiling (1999) (Correct)
Extracting Safe and Precise Control Flow from Binaries - Theiling (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.