caching; checkpointing; distributed systems; software model checking; software verification;
机译:分布式流处理系统中的检查点间隔优化的利用模型
机译:使用离散事件仿真来评估分布式数据流处理系统协调检查点对分布式数据流处理系统的影响
机译:移动分布式系统中基于最小可变检查点的协作检查点协议
机译:通过组合缓存和过程检查点来检查分布式系统的模型
机译:分布式和数据库系统中的检查点和恢复。
机译:免疫检查点网络的建模解释了组合免疫检查点抑制剂治疗的协同作用及细胞因子对患者反应的影响
机译:结合缓存和过程检查点对分布式系统进行模型检查