386 search results - page 18 / 78 » Garbage collection for embedded systems |
148
click to vote
IPPS
1999
IEEE
15 years 7 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...
149
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
To use multiple memory banks in parallel is a nature approach to boost the performance of flash-memory storage systems. However, realistic data-access localities unevenly load eac...
121
Voted
JTRES
2009
ACM
15 years 10 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...
149
Voted
JTRES
2009
ACM
15 years 10 months ago
2009
ACM
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...
119
Voted
CC
2007
Springer
15 years 9 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...