59 search results - page 4 / 12 » Concurrent Replicating Garbage Collection |
VLDB
1997
ACM
14 years 1 months ago
1997
ACM
SOSP
1993
ACM
13 years 11 months ago
1993
ACM
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
IWMM
2010
Springer
14 years 1 months ago
2010
Springer
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
GPC
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...