212 search results - page 8 / 43 » A Certified Implementation on Top of the Java Virtual Machin... |
PPPJ
2004
ACM
14 years 27 days ago
2004
ACM
A new acceleration technology for Java embedded virtual machines is presented in this paper. Based on the selective dynamic compilation technique, this technology addresses the J2...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
LCPC
2005
Springer
14 years 29 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. To solve problems that require far more memory than a single machine can supply, data can be swapped to disk in some manner, it can be compressed, and/or the memory of mu...
JAVA
2000
Springer
13 years 11 months ago
2000
Springer
This paper describes a portable and efficient sampling-based online measurement system for production-level Java virtual machines. This system is designed to provide continuous re...