...
机译:使用Re-Guarantee方法验证并行垃圾收集器
Univ Rennes, IRISA, CNRS, INRIA, Rennes, France;
Univ Rennes, IRISA, CNRS, INRIA, Rennes, France;
Univ Rennes, IRISA, CNRS, INRIA, Rennes, France;
Univ Paris Diderot, IRIF, Paris, France;
Univ Rennes, IRISA, CNRS, INRIA, Rennes, France;
Purdue Univ, W Lafayette, IN 47907 USA;
Northeastern Univ, Boston, MA 02115 USA|Czech Tech Univ, Prague, Czech Republic;
Verified garbage collection; Concurrency; Coq; Rely-guarantee;
机译:使用符合保证方法验证并发垃圾收集器
机译:CSIM〜2:使用依赖保证的并发系统的组成自验证
机译:基于并发垃圾收集器示例调查依赖关系/保证关系的限制
机译:使用依赖保证方法验证并发垃圾收集器
机译:Java的多线程并发世代垃圾收集器。
机译:基于无锁的多核并发垃圾收集器的研究
机译:使用Re-Guarantee方法验证并行垃圾收集器
机译:科罗拉多州的死亡率评估和控制评估(FaCE)报告:垃圾收集器从移动垃圾车后面掉落后死亡