Sciweavers

1234 search results - page 171 / 247
» Privacy-preserving Virtual Machine
Sort
View
APLAS
2003
ACM
15 years 7 months ago
Executing Verified Compiler Specification
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...
Koji Okuma, Yasuhiko Minamide
ECOOP
2000
Springer
15 years 7 months ago
Load-Time Structural Reflection in Java
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...
Shigeru Chiba
133
Voted
IWMM
2000
Springer
108views Hardware» more  IWMM 2000»
15 years 7 months ago
Efficient Object Sampling via Weak References
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...
Ole Agesen, Alex Garthwaite
IWMM
2000
Springer
94views Hardware» more  IWMM 2000»
15 years 7 months ago
Dynamic Adaptive Pre-Tenuring
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 ...
Timothy L. Harris
104
Voted
MA
2000
Springer
116views Communications» more  MA 2000»
15 years 7 months ago
Strong Mobility and Fine-Grained Resource Control in NOMADS
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 ...
Niranjan Suri, Jeffrey M. Bradshaw, Maggie R. Bree...