385 search results - page 13 / 77 » Verified Code Generation for Embedded Systems |
101
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
119
Voted
ISCAS
2003
IEEE
15 years 7 months ago
2003
IEEE
Conventional ASIC designs are hard to be customized. Therefore DSP core-based ASIC design has potentially large payoff. This approach not only supports improved performance but al...
220
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
146
Voted
CASES
2007
ACM
15 years 5 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
109
Voted
IJIT
2004
15 years 3 months ago
2004
Developers need to evaluate software's performance to make software efficient. This paper suggests a performance evaluation system for embedded software. The suggested system ...