385 search results - page 25 / 77 » Verified Code Generation for Embedded Systems |
121
click to vote
CASES
2006
ACM
15 years 7 months ago
2006
ACM
A Java bytecode-to-C ahead-of-time compiler (AOTC) can improve the performance of a Java virtual machine (JVM) by translating bytecode into C code, which is then compiled into mac...
129
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
114
click to vote
SBCCI
2004
ACM
15 years 7 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
143
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
102
click to vote
FMSD
2007
15 years 1 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...