Sciweavers

1247 search results - page 175 / 250
» A Multi-User Virtual Machine
Sort
View
EUC
2004
Springer
15 years 6 months 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
15 years 5 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 5 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
120
Voted
IWMM
2000
Springer
108views Hardware» more  IWMM 2000»
15 years 5 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 5 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