45 search results - page 7 / 9 » Age-Oriented Concurrent Garbage Collection |
110
click to vote
IPPS
1999
IEEE
15 years 3 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...
CC
2007
Springer
15 years 5 months ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
94
Voted
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
116
Voted
JAVA
2001
Springer
15 years 4 months ago
2001
Springer
Many concurrent garbage collection (GC) algorithms have been devised, but few have been implemented and evaluated, particularly for the Java programming language. Sapphire is an a...
188
click to vote
ASPLOS
2009
ACM
16 years 8 days ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...