395 search results - page 8 / 79 » On the Effectiveness of GC in Java |
CADE
2002
Springer
15 years 9 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 ...
HOTOS
1999
IEEE
15 years 1 months ago
1999
IEEE
Software-based protection has become a viable alternative to hardware-based protection in systems based on languages such as Java, but the absence of hardware mechanisms for prote...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Ucigame (pronounced OO-see-GAH-me) is a Java package that supports the programming of 2D sprite-based computer games. Designed for novice programmers, it enables students in an in...
TPDS
2008
14 years 9 months ago
2008
We present NRMI: a drop-in replacement for Java RMI that supports call-by-copy-restore semantics for arbitrary linked data structures, in addition to regular call-by-copy semantic...
BMCBI
2006
14 years 9 months ago
2006
Background: Gene expression microarray technology permits the analysis of global gene expression profiles. The amount of sample needed limits the use of small excision biopsies an...