荷鲁斯

此软件的关键字
zbMATH参考文献(15篇文章引用)
Chevrou,Florent;Hurault,Aurélie;Quéinnec,Philippe:用于验证多功能分布式系统的模块化框架(2019) van Steen,Maarten;Tanenbaum,Andrew S.:分布式系统简介(2016) Su,Gong;Iyengar,Arun:在具有多个活动节点的事务处理系统中避免破坏性故障切换(2013) ioport公司 Flouris,Michail D.;Lachaize,Renaud;Chasapi,Konstantinos;Bilas,Angelos:基于集群系统的可扩展块级存储虚拟化(2010) Álvarez,A.;Arévalo,S.;Cholvi,V.;Fernández,A.;Jiménez,E.:关于消息传递系统的互连(2008) Allen,S.F.;Bickford,M.;Constable,R.L.;Eaton,R.;Kreitz,C.;Lorigo,L.;Moran,E.:使用Nuprl计算类型理论的创新(2006) Dolev,Shlomi;Segala,Roberto;Shvartsman,Alexander:使用组通信的动态负载平衡(2006) Garcia,E.;Guyennet,H.;Lapayre,J.-C.:基于CORBA的组划分,用于协作工作(2006) ioport公司 Xu,Jie;Pears,Simon:自主环境下容错移动代理的动态阴影方法(2006) ioport公司 Attiya,Hagit;Shachnai,Hadas:基于FEC的可靠多播的严格界限(2004) Georgiou,Chryssis;Shvartsman,Alex A.:具有可分割和可合并组的协作计算(2003) Jeremy Sussman;Keith Marzullo:Bancomat问题:可分割异步系统中资源分配的一个例子(2003) Mark Bickford;Kreitz,Christoph;van Renesse,Robbt;Liu,Xiaoming:证明混合协议正确(2001) Moser,Louise E.;Melliar-Smith,P.M.:抗拜占庭式全排序算法。 (1999年) van Renesse,Robbt;Birman,Kenneth P.;Friedman,Roy;Hayden,Mark;Karr,David A.:Horus协议组合框架(1995)