ACM的通讯
研究档案
该研究档案提供了对过去问题发表的所有研究文章的访问。
2017年7月
从ACM的通信
Ironfleet：证明实用分布式系统的安全性和活力
我们展示了基于PaxoS的复制状态机库和基于租赁的分类键值存储的复杂实现的方法。通过我们的方法和经验教训，我们的目标是提高标准......
从ACM的通信
技术视角：建立更好的哈希函数
在“使用制表的快速和强大的散列”中，Mikkel Thorup基于使用随机哈希值的小表来描述简单但令人惊讶和强大的哈希功能的变化。
从ACM的通信
使用表格快速而强大的散列
我们恢复最近的结果是基于制表的简单散列方案如何提供意外强度保证。
从ACM的通信
技术视角：IronFleet简化了证明安全和活力属性
“Ironfleet：克里斯·霍布坦，等人，证明了实用分布式系统的安全性和活力，”，描述了两个非琐碎的分布式服务的机械检查证明：基于PaxoS的库，支持复制......