24 search results - page 2 / 5 » wcet 2010 |
SEUS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
RTS
2010
13 years 3 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
LCTRTS
2010
Springer
13 years 11 months ago
2010
Springer
WCET
2010
13 years 2 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...