577 search results - page 46 / 116 » Timing Analysis of Embedded Software for Speculative Process... |
104
click to vote
WCET
2007
15 years 29 days ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
114
click to vote
EUROMICRO
2004
IEEE
15 years 3 months ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
107
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
As embedded systems grow in size and complexity, an operating system has become essential to simplify the design of system software, for which more accurate analysis of its impact...
IJHPCA
2008
14 years 11 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
FPGA
2004
ACM
15 years 5 months ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...