1410 search results - page 138 / 282 » A Logic for Virtual Memory |
159
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
174
click to vote
VEE
2006
ACM
15 years 10 months ago
2006
ACM
We present a just-in-time compiler for a Java VM that is small enough to fit on resource-constrained devices, yet is surprisingly effective. Our system dynamically identifies tr...
133
click to vote
HCW
1999
IEEE
15 years 9 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
242
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
122
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell. The interface includes primitives for controllin...