菜单
关于联系人(&C)
反馈
贡献
帮助
兹马思
swMATH公司
搜索
高级搜索
浏览
搜索
软件名称
软件作者
软件说明
关键词
程序设计语言
理学硕士分类
高级搜索
清除
按名称浏览软件
按关键字浏览软件
通过MSC浏览软件
按类型浏览软件
结果1至8
8
姓名
关联
排序依据:
TLAP公司
引用9篇文章
[sw09528]
例子,见拜占庭的证据
帕克索斯
算法和安全性证明。。。
DiskPaxos公司
引用2篇文章
[sw29236]
DiskPaxos:证明磁盘的正确性
帕克索斯
.
磁盘
帕克索斯
是一种生成任意。。。
容忍分布式系统。
磁盘规格
帕克索斯
已经被非正式证明是正确的。。。
希伯特姆
引用2篇文章
[sw20575]
副本一致性由a)OS保证-
帕克索斯
一个乐观的原子广播层。。。
XtreemFS公司
引用4篇文章
[sw10723]
XtreemFS是一种通用存储系统。。。
动物园管理员
引用3篇文章
[sw20111]
ZooKeeper是一个用于维护配置的集中服务。。。
github
在1503篇文章中引用
[sw23170]
GitHub(原名Logical Awesome LLC)[3。。。
etcd公司
1条引用
[sw23208]
etcd是一个分布式可靠的密钥值存储。。。
发电机
引用了29篇文章
【sw27495】
迪纳摩:亚马逊高可用性的关键价值商店。。。
共1页第1页