CNRS U. Paris Diderot Paris, France;
Faculty of IEM, The Technion Haifa, Israel;
IST Grad. Center, Osaka U. Osaka, Japan;
distributed algorithm; self stabilization; MST; distributed verification; local proof checking; fault detection; locality;
机译:快速,紧凑的MST自稳定验证,计算和故障检测
机译:快速而紧凑的自我稳定验证,计算和故障 检测MST
机译:快速计算峰度图以检测暂态故障
机译:快速且紧凑的自我稳定验证,计算和MST的故障检测
机译:石墨烯掺杂氧化钇稳定氧化锆的冲击压实:实验和计算研究
机译:研究主题:从结构生物学到分子系统生物学:揭示癌症和神经变性中激酶活性调节机制的实验和计算方法:分子内相互作用稳定Sic1内在无序的激酶抑制剂结构域的紧密构象:分子动力学研究
机译:快速,紧凑的MST自稳定验证,计算和故障检测
机译:验证用于时钟同步的拜占庭容错自稳定协议