阿特姆

GC 2:AtLM文库的一代保守的垃圾收集器。AtLm文库是改写社区中一个精心设计和众所周知的图书馆。在本文中,我们讨论了当前的垃圾收集器提供的库,并强调这样的事实,这种功能库可以利用内存管理系统的优势。我们解释了我们如何设计和实现GC 2,一个新的标记和扫描代垃圾收集器的AtLM库,建立在这些特性。实验结果验证了该方法的有效性,证明了新算法的性能。


ZBMaX中的参考文献(43篇)1标准条款

显示结果1至20的43。
按年份排序(引文
  1. 布洛姆,斯特凡;LISSER,伯特;van de Pol,哈科;Weber,米迦勒:分布式状态空间生成的数据库方法(2011)
  2. Rinderknecht,基督教;ValANSCI,NIC:元解析未解析模式的理论与实践(2010)
  3. Balland,艾米莉,莫罗,Pierre Etienne;Reilles,安托万:Java中的改写策略(2008)伊波尔特
  4. 布洛姆,斯特凡;LISSER,伯特;van de Pol,哈科;Weber,米迦勒:分布式状态空间生成的数据库方法(2008)
  5. 布洛姆,斯特凡;van de Pol,哈科:具有递归数据类型的过程代数的符号可达性(2008)
  6. Tveretina,奥尔加;Wielelink,Wieger:EUFDPLL——检验等式逻辑公式可满足性的工具(2008)
  7. 巴丹,Bahareh;Van De Pol,哈科;TVIETENA,奥尔加;赞塔玛,汉斯:广义DPLL和等式的可满足性(2007)
  8. Curista,Horatiu;Faure,GelMon;基什内尔,克劳德:A(\Rho)-显式约束应用演算(2007)
  9. 登克尔,沙砾;塔尔科特,卡洛琳;Rosu,格里格;van den Brand,马克;艾克,史提芬;厄尔布努,,《重写逻辑系统》(2007)伊波尔特
  10. 高,H;Groote,J. F.;Hesselink,W. H.:Mark & SCAN无锁并行并发垃圾收集(2007)
  11. IVVIEN,J.RGEN B.NDEGARARD:以标准ML(2007)为目标的动作编译器
  12. Kieburtz,Richard B.:程序验证的程序化策略(2007)
  13. Reilles,安托万:规范抽象语法树(2007)
  14. van Weerdenburg,MUCK:应用期限重写的实现(2007)
  15. 安德列,Oana;Ibanescu,Liliana;基什内尔,Hell Lene:化学应用的非侵入性形式方法和战略改写(2006)
  16. Baravbor,Martin;Van DAM,亚瑟;奥莫斯,卡琳娜;VISSER,EELCO:具有范围动态重写规则的程序转换(2006)
  17. Doroshenko,AntoLyi;舍甫琴科,鲁斯兰:基于规则的程序设计动态应用的重写框架(2006)
  18. Holt,Richard C.;Sh Ur RR,安迪;Sim,Susan Elliott;Western,安德烈亚斯:GXL:基于图的重组标准交换格式(2006)
  19. 冈查罗夫,S. V.;Rudich,A. Ye:代数程序到可执行代码的翻译(2005)
  20. 维瑟,EELCO:基于规则的程序转换系统的策略综述(2005)