2 search results - page 1 / 1 » Approximate Compilation for Embedded Model-based Reasoning |
AAAI
2006
13 years 6 months ago
2006
The use of embedded technology has become widespread. Many complex engineered systems comprise embedded features to perform self-diagnosis or self-reconfiguration. These features ...
EMSOFT
2004
Springer
13 years 10 months ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...