Sciweavers

162 search results - page 1 / 33
» Type-preserving garbage collectors
Sort
View
RTS
2010
127views more  RTS 2010»
12 years 11 months ago
Scheduling of hard real-time garbage collection
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
Martin Schoeberl
JVM
2004
184views Education» more  JVM 2004»
13 years 6 months ago
A Real-Time Garbage Collector for Embedded Applications in CLI
We are working on scheduling of garbage collector as a concurrent thread for time-constrained applications in Common Language Infrastructure (CLI). We have implemented an increment...
Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott R...
VSTTE
2010
Springer
13 years 2 months ago
Reusable Verification of a Copying Collector
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
Magnus O. Myreen
LFP
1994
133views more  LFP 1994»
13 years 6 months ago
Concurrent Replicating Garbage Collection
We have implemented a concurrent copying garbage collector that uses replicatinggarbage collection. In our design, the client can continuously access the heap during garbage colle...
James O'Toole, Scott Nettles
ACSC
2001
IEEE
13 years 8 months ago
Starting with Termination: A Methodology for Building Distributed Garbage Collection Algorithms
We propose an effective methodology in which a distributed garbage collector may be derived from a distributed termination algorithm and a centralized garbage collector in a manne...
Stephen M. Blackburn, J. Eliot B. Moss, Richard L....