725 search results - page 52 / 145 » Escape Analysis for Java |
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
WETICE
1999
IEEE
14 years 29 days ago
1999
IEEE
This paper presents a National Institute of Standards and Technology (NIST) prototype tool called ACTS (Annotation Collaboration Tool via SMIL
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
In the Komodo project a real-time Java system based on a multithreaded Java microcontroller has been developed. A main scheduling policy realized by hardware in the microcontroller...
CONCURRENCY
2000
13 years 8 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...