Sciweavers

162 search results - page 1 / 33
» Type-preserving garbage collectors
Sort
View
157
Voted
RTS
2010
127views more  RTS 2010»
14 years 9 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»
15 years 3 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...
107
Voted
VSTTE
2010
Springer
15 years 8 days 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»
15 years 3 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
109
Voted
ACSC
2001
IEEE
15 years 6 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....