214 search results - page 22 / 43 » Data-Flow Frameworks for Worst-Case Execution Time Analysis |
105
click to vote
RTCSA
2009
IEEE
15 years 7 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
133
click to vote
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
Caches have become increasingly important with the widening gap between main memory and processor speeds. However, they are a source of unpredictability due to their characteristi...
139
Voted
DAGSTUHL
1996
15 years 1 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
129
click to vote
RTSS
2002
IEEE
15 years 5 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...