机译:重新考虑计算声音协议的并行重复
CWI, Amsterdam, Netherlands;
KTH, Stockholm, Sweden;
机译:简短公告:通过无等待并行化重新访问共识协议
机译:计算模型中的概率多项式演算可否认身份验证协议的计算合理的机械化证明
机译:计算模型中带概率多项式演算的可否认身份验证协议的计算合理的机械化证明
机译:重新考虑计算声音协议的并行重复
机译:关于加密协议形式分析的计算合理性。
机译:并行遗传连锁分析:在分子生物学中应用并行计算的案例研究
机译:并行重复是否降低了计算声音协议中的错误