Distributed algorithms; Local computation systems; Formal method; Event-B method;
机译:通过结合细化和局部计算来证明分布式算法
机译:用于主要成分分析和奇异值分解的分布式计算的随机算法
机译:用于主要成分分析和奇异值分解的分布式计算的随机算法
机译:通过细化,合成和局部计算实现经验证的分布式算法
机译:通信交易计算:使用距离分解,嵌套迭代和自适应网格细化的PDE并行解决方案的低通信算法
机译:cOSPREY:大规模计算蛋白质设计的基于云的分布式算法
机译:利用大规模平行计算和集中式本地计算的分布式缩略分布式算法