机译:模型检查Java DSM实现的缓存一致性协议
Carl von Ossietzky Universitaet Oldenburg, Department fuer Informatik, Ammerlaender Heerstrasse 114-118, 26111 Oldenburg, Germany;
formal specification; model checking; cache coherence protocols; java memory model; μCRL;
机译:缓存一致性协议的模型检查数据一致性
机译:缓存一致性协议的模型检查数据一致性
机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
机译:模型检查Java DSM实现的高速缓存相辅相协调协议
机译:CMC:用于网络协议实现的模型检查器。
机译:探索梭状芽胞杆菌DSM 1313的新型基因组规模代谢模型实现可调节的纤维素体研究复杂的细胞表型和模型指导的菌株设计
机译:模型检查Java Dsm实现的缓存一致性协议
机译:模型检查分布式文件系统的缓存一致性协议