论文部分内容阅读
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一致性.初始的事件约束可以通过规约来定义,作者提出E-CSPE约束的描述规则来推导新约束,并提出约束之间的一致性判定机制.该算法具有多项式复杂度.
E-CSPE约束的一致性判定
【摘 要】
：
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一致性.初始的事件约束可以通过规约来定义,作
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机学报
【发表日期】
：
2003年11期
【基金项目】
：
国家高技术研究发展计划(863计划)
其他文献
问题现场描述使用单孔专用钻模加工套简类零件圆周方向十字交叉孔,需要的钻模数量多,装夹次数多,工作效率低,加工精度差,不能满足生产发展需要。
WTO秘书处对2005年上半年反倾销的统计资料显示，与2004年同期相比，提出和最终实施反倾销的数量都在不同程度地下降，15个成员国累计提出96起反倾销立案申请，最终通过并实施12个成
随着网络技术的发展,人们在享受开放性便利的同时也受到网络安全问题的威胁,身份认证是保证网络安全的重要措施之一,传统对称密码体制和非对称密码体制认证方式各有其优缺点.
Gabidulin提出了距离码主最大秩距离码的理论，给出了判断码的最小秩距离的方法，并通过引进线性化多项式的概念（类似于纠错码）构造了一些最大秩距离码，并这对些最大秩距离码进行了