Sciweavers

46 search results - page 4 / 10
» wcet 2008
Sort
View
WCET
2008
13 years 9 months ago
Towards an Automatic Parametric WCET Analysis
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...
Stefan Bygde, Björn Lisper
WCET
2007
13 years 8 months ago
Timing Analysis of Body Area Network Applications
Body area network (BAN) applications have stringent timing requirements. The timing behavior of a BAN application is determined not only by the software complexity, inputs, and ar...
Liang Yun, Abhik Roychoudhury, Tulika Mitra
WCET
2008
13 years 9 months ago
Computing time as a program variable: a way around infeasible paths
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
Niklas Holsti
WCET
2007
13 years 8 months ago
Data-Flow Based Detection of Loop Bounds
To calculate the WCET of a program, safe upper bounds on the number of loop iterations for all loops in the program are needed. As the manual annotation of all loops with such bou...
Christoph Cullmann, Florian Martin
WCET
2003
13 years 9 months ago
Challenges in Calculating the WCET of a Complex On-board Satellite Application
Calculating the WCET of mission-critical satellite applications is a challenging issue. The European Space Agency is currently undertaking the CryoSat mission, consisting of a rad...
Manuel Rodríguez, Nuno Silva, João E...