技术标签: 算法 语言 ibm pascal 编程 杂谈 microsoft
图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.
历届图灵奖获得者名单:
1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)
因在新一代编程技术和编译架构方面的贡献而获奖.
1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge
因设计出第一台程序实现完全内存的计算机而获奖.
1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)
因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.
1969 Marvin Minsky --- PhD, Princeton, Prof, MIT
因对人工智能的贡献被授予图灵奖.
1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London
因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.
1971 John McCarthy --- PhD, Princeton; Prof, Stanford
因对人工智能的贡献被授予图灵奖.
1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin
因在编程语言方面的出众表现而获奖.
1973 Charles W. Bachman --- staff, Honeywell
因在数据库方面的杰出贡献而获奖.
1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford
因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.
1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)
和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)
因在人工智能、人类识别心理和表处理的基础研究而获奖.
1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard
和Dana S. Scott --- PhD, Princeton; Prof, CMU
因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.
1977 John Backus --- BS, Columbia; staff, IBM
因对可用的高级编程系统设计有深远和重大的影响而获奖.
1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford
因其在软件编程的算法方面的影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.
1979 Kenneth E. Iverson
因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.
1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)
因对程序设计语言的定义和设计所做的贡献而获奖.
1981 Edgar F. Codd --- PhD, Michigan; staff, IBM
因在数椐库管理系统的理论和实践方面的贡献而获奖.
1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto
因奠定了NP-Completeness理论的基础而获奖.
1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs
和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs
因在类属操作系统理论,特别是UNIX操作系统的推广而获奖.
1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich
因开发了EULER、 ALGOL-W、 MODULA和PASCAL一系列崭新的计算语言而获奖.
1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley
因对算法理论的贡献而获奖.
1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornell
and Robert E. Tarjan --- PhD, Stanford; Prof, Princeton
因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.
1987 John Cocke --- staff, IBM
因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.
1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun
因在计算机图形学方面的贡献而获奖.
1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley
因在数值分析方面的贡献而获奖,他是是浮点计算领域的专家.
1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT
因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖.
1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)
因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.
1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft
因在个人分布式计算机系统(包括操作系统)方面的贡献而获奖.
1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell
和 Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany
因奠定了计算复杂性理论的基础而获奖.
1994 Raj Reddy --- PhD, Stanford; Prof, CMU
和 Edward Feigenbaum (PhD, CMU; Prof, Stanford)
因对大型人工智能系统的开拓性研究而获奖.
1995 Manuel Blum --- PhD, MIT; Prof, Berkeley
因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.
1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU
因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.
1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI
因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.
1998 James Gray --- PhD, Berkeley; staff, Microsoft
因在数据库和事务处理方面的突出贡献而获奖.
1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC
因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.
2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲)
2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo
因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.
2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; Weizmann
Leonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).
2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)
因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.
文章浏览阅读936次,点赞22次,收藏26次。React核心基础
文章浏览阅读2k次。linux系统查看磁盘空间的命令是【df -hl】,该命令可以查看磁盘剩余空间大小。如果要查看每个根路径的分区大小,可以使用【df -h】命令。df命令以磁盘分区为单位查看文件系统。本文操作环境:red hat enterprise linux 6.1系统、thinkpad t480电脑。(学习视频分享:linux视频教程)Linux 查看磁盘空间可以使用 df 和 du 命令。df命令df 以磁..._df -hl
文章浏览阅读923次。uses ComObj;var ExcelApp: OleVariant;implementationprocedure TForm1.Button1Click(Sender: TObject);const // SheetType xlChart = -4109; xlWorksheet = -4167; // WBATemplate xlWBATWorksheet = -4167_range[char(96 + acolumn) + inttostr(65536)].end[xlup]
文章浏览阅读2.3k次。上图为任务代码,在任务具体执行的方法中使用,一定要写在方法内使用SpringContextUtil.getBean()方法实例化Spring service类下边是ruoyi-quartz模块中util/SpringContextUtil.java(已改写)import org.springframework.beans.BeansException;import org.springframework.context.ApplicationContext;import org.s..._ruoyi-quartz无法引入ruoyi-admin的service
文章浏览阅读2w次,点赞10次,收藏77次。yum,全称“Yellow dog Updater, Modified”,是一个专门为了解决包的依赖关系而存在的软件包管理器。可以这么说,yum 是改进型的 RPM 软件管理器,它很好的解决了 RPM 所面临的软件包依赖问题。yum 在服务器端存有所有的 RPM 包,并将各个包之间的依赖关系记录在文件中,当管理员使用 yum 安装 RPM 包时,yum 会先从服务器端下载包的依赖性文件,通过分析此文件从服务器端一次性下载所有相关的 RPM 包并进行安装。_centos7配置yum源
文章浏览阅读828次,点赞21次,收藏8次。今天学长向大家分享一个毕业设计项目毕业设计 基于深度学习的抽烟行为检测算法实现(源码分享)毕业设计 深度学习的抽烟行为检测算法实现通过目前应用比较广泛的 Web 开发平台,将模型训练完成的算法模型部署,部署于 Web 平台。并且利用目前流行的前后端技术在该平台进行整合实现运营车辆驾驶员吸烟行为检测系统,方便用户使用。本系统是一种运营车辆驾驶员吸烟行为检测系统,为了降低误检率,对驾驶员视频中的吸烟烟雾和香烟目标分别进行检测,若同时检测到则判定该驾驶员存在吸烟行为。进行流程化处理,以满足用户的需要。
文章浏览阅读3.7k次,点赞3次,收藏14次。多个定时器同步触发启动是一种比较实用的功能,这里将对此做个示例说明。_stm32 定时器同步
文章浏览阅读348次。出处 : http://www.cnblogs.com/mythou/p/3187881.html本来想分析AppsCustomizePagedView类,不过今天突然接到一个临时任务。客户反馈说机器界面的图标很难点击启动程序,经常点击了没有反应,Boss说要优先解决这问题。没办法,只能看看是怎么回事。今天分析一下Launcher启动APP的过程。从用户点击到程序启动的流程,下面针对WorkSpa..._回调bubbletextview
文章浏览阅读6.2k次。Ubuntu 12 最快的两个源 个人感觉 163与cn99最快 ubuntu下包过慢 1、首先备份Ubuntu 12.04源列表 sudo cp /etc/apt/sources.list /etc/apt/sources.list.backup (备份下当前的源列表,有备无患嘛) 2、修改更新源 sudo gedit /etc/apt/sources.list (打开Ubuntu 12_un.12.cc
文章浏览阅读5.8k次,点赞6次,收藏86次。1.思路(1)动态添加路由肯定用的是addRouter,在哪用?(2)vuex当中获取到菜单,怎样展示到界面2.不管其他先试一下addRouter找到router/index.js文件,内容如下,这是我自己先配置的登录路由现在先不管请求到的菜单是什么样,先写一个固定的菜单通过addRouter添加添加以前注意:addRoutes()添加的是数组在export defult router的上一行图中17行写下以下代码var addRoute=[ { path:"/", name:"_vue动态路由权限
文章浏览阅读8.9k次。 关键词: JSTL 之变量赋值标签 /* * Author Yachun Miao * Created 11-Dec-06 */关于JSP核心库的set标签赋值变量,有两种方式: 1.日期" />2. 有种需求要把ApplicationResources_zh_CN.prope
文章浏览阅读3.1k次,点赞3次,收藏2次。1.1ZY5621概述ZY5621是VGA音频到HDMI转换器芯片,它符合HDMI1.4 DV1.0规范。ZY5621也是一款先进的高速转换器,集成了MCU和VGA EDID芯片。它还包含VGA输入指示和仅音频到HDMI功能。进一步降低系统制造成本,简化系统板上的布线。ZY5621方案设计简单,且可以完美还原输入端口的信号,此方案设计广泛应用于投影仪、教育多媒体、视频会议、视频展台、工业级主板显示、手持便携设备、转换盒、转换线材等产品设计上面。1.2 ZY5621 特性内置MCU嵌入式VGA_vga转hdmi带音频转换器,转接头拆解