Sciweavers

1247 search results - page 175 / 250
» A Multi-User Virtual Machine
Sort
View
EUC
2004
Springer
14 years 15 days ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...
APLAS
2003
ACM
14 years 12 days 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
14 years 11 days 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
IWMM
2000
Springer
108views Hardware» more  IWMM 2000»
14 years 10 days 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»
14 years 10 days 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