机译:实用MPI程序的形式验证
MPI; Message Passing Interface; distributed programming; model checking; dynamic partial order reduction;
机译:实用MPI程序的形式验证
机译:基于MPI的并行程序的自动形式验证
机译:MPI 2.0的正式规范:指定实用的并发编程API的案例研究
机译:正式验证MPI程序
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:正式的MPI程序验证