1210 search results - page 88 / 242 » Formal Techniques for Java Programs |
154
Voted
CL
2008
Springer
15 years 2 months ago
2008
Springer
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
125
click to vote
CASES
2006
ACM
15 years 8 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...
140
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
123
Voted
FPL
2005
Springer
15 years 8 months ago
2005
Springer
— During codesign of a system, one still runs into the impedance mismatch between the software and hardware worlds. er identifies the different levels of abstraction of hardware...
98
Voted
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...