30 search results - page 2 / 6 » Space-and-time efficient garbage collectors for parallel sys... |
ISORC
2006
IEEE
13 years 11 months ago
2006
IEEE
Automatic memory management or garbage collection greatly simplifies the development of large systems. However, garbage collection is usually not used in real-time systems due to...
IWMM
1998
Springer
13 years 9 months ago
1998
Springer
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...
JTRES
2009
ACM
13 years 11 months ago
2009
ACM
Real-time Java is becoming a viable platform for real-time applications, bringing new challenges to a garbage collector. A real-time collector has to be incremental as not to caus...
ISORC
2006
IEEE
13 years 11 months ago
2006
IEEE
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...