Sciweavers

43 search results - page 2 / 9
» Automatic array inlining in java virtual machines
Sort
View
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
13 years 10 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
RTCSA
1999
IEEE
13 years 9 months ago
Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
Fridtjof Siebert
CCS
2008
ACM
13 years 7 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
JVM
2001
97views Education» more  JVM 2001»
13 years 6 months ago
Deterministic Execution of Java's Primitive Bytecode Operations
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
Fridtjof Siebert, Andy Walter
VEE
2005
ACM
199views Virtualization» more  VEE 2005»
13 years 10 months ago
Escape analysis in the context of dynamic compilation and deoptimization
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
Thomas Kotzmann, Hanspeter Mössenböck