1234 search results - page 171 / 247 » Privacy-preserving Virtual Machine |
141
click to vote
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
112
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The standard reflection API of Java provides the ability to introspect a program but not to alter program behavior. This paper presents an extension to the reflection API for addr...
133
Voted
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
The performance of automatic memory management may be improved if the policies used in allocating and collecting objects had knowledge of the lifetimes of objects. To date, approa...
131
click to vote
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
In a generational garbage collector, a pre-tenured object is one that is allocated directly in the old generation. Pretenuring long-lived objects reduces the number of times that ...
104
Voted
MA
2000
Springer
15 years 7 months ago
2000
Springer
NOMADS is a Java-based agent system that supports strong mobility (i.e., the ability to capture and transfer the full execution state of migrating agents) and safe agent execution ...