The University of British Columbia (Canada).;
机译:通过模型检查来验证共享内存多处理器上的顺序一致性
机译:遵循AAPM TG51和TG21校准协议,使用21种离子室模型测量水的吸收剂量的一致性。
机译:CheckFence:检查宽松内存模型上并发数据类型的一致性
机译:通过模型检查证明顺序一致性
机译:分布式模型的合并和一致性检查。
机译:交会系统的参数化模型检查
机译:通过模型检查验证sharedmemory多处理器的顺序一致性
机译:用于一致性检查的信号验证算法和冗余测量的顺序概率比测试:主题报告