IEEE 约翰·冯诺依曼奖由IEEE成立于1990年，目的是表彰在计算机科学和技术上具有杰出成就的科学家。虽不如图灵奖那样有名，但也绝对是计算机科学界非常重量级的奖项了，获奖者也都是世界上举足轻重的计算机科学家，其中很多人也同时是图灵奖得主。
Google内部的介绍
Spanner: Google’s Globally-Distributed Database 论文原文
Thread on G+ by Jeff Dean
Building Spanner 视频 keynote Google工程师 Alex Lloyd
Lessons and Advice from Building Large Distributed Systems 最早提到Spanner的，Jeff Dean在LADIS2009的keynote
作者：Grzegorz Malewicz, Matthew H. Austern .etc.Google Inc 2010-6
原文：http://people.apache.org/~edwardyoon/documents/pregel.pdf
译者：phylips@bmy 2012-09-14
译文：http://duanple.blog.163.com/blog/static/70971767201281610126277/
[说明：Pregel这篇是发表在2010年的SIGMOD上，Pregel这个名称是为了纪念欧拉，在他提出的格尼斯堡七桥问题中，那些桥所在的河就叫Pregel。最初是为了解决PageRank计算问题，由于MapReduce并不适于这种场景，所以需要发展新的计算模型去完成这项计算任务，在这个过程中逐步提炼出一个通用的图计算框架，并用来解决更多的问题。核心思想源自BSP模型，这个就更早了，是在上世纪80年代由Leslie Valiant(2010年图灵奖得主)提出，之后在1990的Communications of the ACM 上，正式发表了题为A bridging model for parallel computation的文章。目前实际上已经有针对Pregel这篇文章的翻译版本了，不过只翻译了出了前半部分关于Pregel的设计与实现部分。其实后半部分也很重要，有助于理解整个图计算的历史背景，以及Pregel本身的性能和项目本身的演化等，另外最近越来越多的人开始关注这一文章，所以还是抽出时间重新阅读了一遍，并重新翻译出来，以供参考]