75 search results - page 3 / 15 » Compiling XQuery to Java bytecodes |
19
Voted
CC
2000
Springer
13 years 7 months ago
2000
Springer
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...
CASES
2007
ACM
13 years 11 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
ISCC
2009
IEEE
14 years 2 months ago
2009
IEEE
Reconfigurable computing is one of the most recent research topics in computer science. The Altera™ Nios II soft-core processor can be included in a large set of reconfigurable ...
COOTS
1997
13 years 8 months ago
1997
CADE
2002
Springer
14 years 7 months ago
2002
Springer
This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...