图灵奖牛人LeslieB.Lamport介绍英文原文链接https://en.wikipedia.org/wiki/Leslie_LamportLeslieB.Lamport，生于1941年，美国著名的计算机科学家，以发明分布式关键技术（特别是PAXOS）、LATEX、TLA+知名，于2013年获得图灵奖。他1960年在MIT获得数学学士学位，1972年从Brande..
分类：
其他好文 时间：
2017-01-25 00:03:14
阅读次数：
2888
图灵奖牛人介绍维基的图灵奖介绍，英文原文链接https://en.wikipedia.org/wiki/Turing_Award图灵奖作为计算机领域的世界顶级大奖，从1966年到2015年共有64位牛人获得该奖，其中有3位是杰出女性，超值得点赞，她们分别是FrancesE.Allen（编译器优化）、BarbaraLiskov（编程语言..
分类：
其他好文 时间：
2017-01-05 08:09:28
阅读次数：
417
《奇舞周刊》 《百度FEX技术周刊》 《图灵奖得主Alan Kay如何读书》 《我来告诉你，草根程序员如何进入 BAT》 《大公司里怎样开发和部署前端代码？》 ...
分类：
其他好文 时间：
2016-12-05 19:54:36
阅读次数：
135
计算机图形学各个领域的目标或许不同，但最终的形式都是渲染(即绘制)在二维的显示设备上的图像。下面是一个简单（可能并不完全）的分类： ?计算机图形学-领域及分支： ?1 绘制1.1 真实感绘制(非实时)1.1.1 光线追踪(Ray-tracing)1.1.2 全局光照(Global Illuminat ...
分类：
其他好文 时间：
2016-11-30 23:02:24
阅读次数：
300
说到以Tarjan命名的算法，我们经常提到的有3个，其中就包括本文所介绍的求强连通分量的Tarjan算法。而提出此算法的普林斯顿大学的Robert E Tarjan教授也是1986年的图灵奖获得者（具体原因请看本博“历届图灵奖得主”一文）。 首先明确几个概念。 关于Tarjan算法的伪代码和流程演示 ...
分类：
编程语言 时间：
2016-10-17 22:49:46
阅读次数：
220
弗洛伊德(Floyd)算法是一种用于寻找给定的加权图中顶点间最短路径的算法。该算法名称以创始人之一、1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特·弗洛伊德命名。 基本思想 通过Floyd计算图G=(V,E)中各个顶点的最短路径时，需要引入一个矩阵S，矩阵S中的元素a[i][j]表示顶点i ...
分类：
编程语言 时间：
2016-08-20 21:46:25
阅读次数：
333
里氏代换原则由2008年图灵奖得主、美国第一位计算机科学女博士Barbara Liskov教授和卡内基·梅隆大学Jeannette Wing教授于1994年提出。其严格表述如下：如果对每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1代换o2时，程序P的行为没 ...
分类：
其他好文 时间：
2016-08-12 14:45:04
阅读次数：
149
快速排序是由图灵奖获得者、计算机语言设计大佬C. A. R. Hoare在他26岁时提出的。说起C. A. R. Hoare老爷爷，可能很多人的第一印象就是快速排序，但是快排仅仅是他人生中非常小的成就而已。例如，他在1978年提出的Communicating Sequential Processes(CSP)理论，则深深的影响了并行程序设计，Go语言中的Goroutine就是这种典范。...
分类：
编程语言 时间：
2016-08-10 14:26:21
阅读次数：
326
数据库架构相关
Architecture of a Database System. Joseph M. Hellerstein, Michael Stonebraker and James Hamilton
图灵奖获得者Michael Stonebraker的论文之一，具体介绍了数据库的架构以及相关理论和主流数据库的具体做法。
启发：
对于已经阅读过基础的数据库教材的...
分类：
数据库 时间：
2016-07-13 16:43:51
阅读次数：
322
高级数据库技术
（一）引言
数据库系统的发展起始于19世纪60年代，从IBM的层次模型IMS、网状模型、关系模型，发展到多数模型共存的（同构和异构及其混合的形式共存的现状）。尤其是三位在数据库领域获得图灵奖的得主，查尔斯.巴赫曼，埃德加.科德和詹姆斯.格雷三人所对于数据库发展的贡献。尤其是科德在1970年发表的“大型共享数据库的关系数据模型”奠定了关系型数据库的基础。随着科学技术的发展，各...
分类：
数据库 时间：
2016-06-24 15:29:50
阅读次数：
206
