共 50 条
- [1] A parallel, incremental, mostly concurrent garbage collector for servers [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (06): : 1097 - 1146
- [3] A novel design of a generational garbage collector [J]. ISCON 2002: IEEE STUDENTS CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2002, : 85 - 88
- [4] A Verified Generational Garbage Collector for CakeML [J]. INTERACTIVE THEOREM PROVING (ITP 2017), 2017, 10499 : 444 - 461
- [5] A Verified Generational Garbage Collector for CakeML [J]. Journal of Automated Reasoning, 2019, 63 : 463 - 488
- [7] Mostly concurrent garbage collection revisited [J]. ACM SIGPLAN NOTICES, 2003, 38 (11) : 255 - 268
- [8] Concurrent remembered set refinement in generational garbage [J]. USENIX ASSOCIATION PROCEEDINGS OF THE 2ND JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM, 2002, : 13 - 26
- [9] Optimal Policies for a Generational Garbage Collector with Tenuring Threshold [J]. OPERATIONS RESEARCH AND ITS APPLICATIONS, 2010, 12 : 39 - +
- [10] Modeling, Analysis and Throughput Optimization of a Generational Garbage Collector [J]. ISMM'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON MEMORY MANAGEMENT, 2009, : 1 - 9