100 search results - page 18 / 20 » Stream Compilation for Real-Time Embedded Multicore Systems |
RTCSA
2009
IEEE
14 years 14 days 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...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
SPIN
2000
Springer
13 years 9 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
RTAS
2008
IEEE
14 years 4 days ago
2008
IEEE
Large- and small-scale storage systems frequently serve a mixture of workloads, an increasing number of which require some form of performance guarantee. Providing guaranteed disk...