乡下人产国偷v产偷v自拍,国产午夜片在线观看,婷婷成人亚洲综合国产麻豆,久久综合给合久久狠狠狠9

  • <output id="e9wm2"></output>
    <s id="e9wm2"><nobr id="e9wm2"><ins id="e9wm2"></ins></nobr></s>

    • 分享

      2017圖靈獎(jiǎng)揭曉,52屆67位獲獎(jiǎng)?wù)叨际钦l(shuí)?

       mrin007 2018-03-23

      遠(yuǎn)望智庫(kù):與智者同行,為創(chuàng)新加速

      專家?guī)?/span> | 人才庫(kù) | 企業(yè)庫(kù) | 項(xiàng)目庫(kù) | 投資機(jī)構(gòu)庫(kù) | 招商信息庫(kù)


      來源:德先生



      3月 21 日,美國(guó)計(jì)算機(jī)協(xié)會(huì)(ACM)將 2017 年圖靈獎(jiǎng)授予斯坦福大學(xué)前校長(zhǎng)John L. Hennessy和加州大學(xué)伯克利分校退休教授David A. Patterson,以表彰他們開創(chuàng)了一種系統(tǒng)的、定量的方法來設(shè)計(jì)和評(píng)價(jià)計(jì)算機(jī)體系結(jié)構(gòu),并對(duì) RISC 微處理器行業(yè)產(chǎn)生了持久的影響。


      John L. Hennessy  和David Patterson 創(chuàng)立了一種系統(tǒng)化和定量化的方法來設(shè)計(jì)更快、更低功耗和精簡(jiǎn)指令集計(jì)算機(jī)( RISC )微處理器。他們的方法導(dǎo)致了持久和可重復(fù)的原則,已經(jīng)在學(xué)術(shù)界和工業(yè)界的許多項(xiàng)目中使用。如今,每年生產(chǎn)的160多億微處理器中有99 %是RISC處理器,幾乎所有的智能手機(jī)、平板電腦以及組成物聯(lián)網(wǎng)( IoT )的數(shù)十億嵌入式設(shè)備中都有這種處理器。


      此外 Hennessy 和 Patterson 在他們合著的經(jīng)典著作《計(jì)算機(jī)體系結(jié)構(gòu)(量化研究方法)》(Computer Architecture: A Quantitative Approach)中詳細(xì)陳述了他們的見解。他們的這些工作鞏固了我們對(duì)新處理器架構(gòu)進(jìn)行建模和分析的能力,極大地加速了微處理器設(shè)計(jì)的進(jìn)步。


      “計(jì)算機(jī)界諾貝爾獎(jiǎng)”——圖靈獎(jiǎng)


      圖靈獎(jiǎng)是美國(guó)計(jì)算機(jī)協(xié)會(huì)于1966年設(shè)立的,又叫'A.M.圖靈獎(jiǎng)',專門獎(jiǎng)勵(lì)那些對(duì)計(jì)算機(jī)事業(yè)作出重要貢獻(xiàn)的個(gè)人。其名稱取自計(jì)算機(jī)科學(xué)的先驅(qū)、英國(guó)科學(xué)家艾倫·圖靈,這個(gè)獎(jiǎng)設(shè)立目的之一是紀(jì)念這位科學(xué)家。


      圖靈獎(jiǎng)對(duì)獲獎(jiǎng)?wù)叩囊髽O高,評(píng)獎(jiǎng)程序極嚴(yán),一般每年只獎(jiǎng)勵(lì)一名計(jì)算機(jī)科學(xué)家,只有極少數(shù)年度有兩名在同一方向上做出貢獻(xiàn)的科學(xué)家同時(shí)獲獎(jiǎng)。因此,盡管“圖靈”的獎(jiǎng)金數(shù)額不算高,但它卻是計(jì)算機(jī)界最負(fù)盛名的獎(jiǎng)項(xiàng),有“計(jì)算機(jī)界諾貝爾獎(jiǎng)”之稱。


      截至2017年,獲此殊榮的華人僅有一位,他是2000年圖靈獎(jiǎng)得主姚期智。據(jù)相關(guān)資料統(tǒng)計(jì),美國(guó)斯坦福大學(xué)的圖靈獎(jiǎng)人數(shù)(校友或教職工)位列世界第一(27位) ,美國(guó)麻省理工學(xué)院(25位)位列世界第二  ,美國(guó)加州大學(xué)伯克利分校位列世界第三(25位);哈佛大學(xué)(14位)和普林斯頓大學(xué)(13位)分列世界第四和第五名。


      歷屆得主


      從1966年到2017年,共52屆、共67名得主,按國(guó)籍分,美國(guó)學(xué)者最多,歐洲學(xué)者偶見之,華人學(xué)者目?jī)H有2000年圖靈獎(jiǎng)得主姚期智(現(xiàn)在清華大學(xué)、香港中文大學(xué))。


      67名得主分布在幾十個(gè)小領(lǐng)域,排在前六的領(lǐng)域有:編譯原理、程序設(shè)計(jì)語(yǔ)言,計(jì)算復(fù)雜性理論,人工智能,密碼學(xué),以及數(shù)據(jù)庫(kù)(4名)。在某種意義上,可大致認(rèn)為,前三個(gè)領(lǐng)域與計(jì)算機(jī)科學(xué)本身更密切一些,后三個(gè)領(lǐng)域與軍民應(yīng)用更密切一些。

      1978年

      羅伯特·弗洛伊德

      Robert W. Floyd

      設(shè)計(jì)高效可靠軟件的方法學(xué)

      1979年

      肯尼斯·艾佛森

      Kenneth E. Iverson

      程序設(shè)計(jì)語(yǔ)言和數(shù)學(xué)符號(hào),互動(dòng)系統(tǒng)的設(shè)計(jì),運(yùn)用 APL進(jìn)行教學(xué),程序設(shè)計(jì)語(yǔ)言的理論與實(shí)踐

      1980年

      東尼·霍爾

      C. Antony R. Hoare

      程序設(shè)計(jì)語(yǔ)言的定義與設(shè)計(jì)

      1981年

      埃德加·科德

      Edgar F. Codd

      數(shù)據(jù)庫(kù)系統(tǒng),尤其是關(guān)系型數(shù)據(jù)庫(kù)

      1982年

      史提芬·古克

      Stephen A. Cook

      計(jì)算復(fù)雜度

      1983年

      肯·湯普遜

      丹尼斯·里奇

      Ken Thompson

      Dennis M. Ritchie

      UNⅨ操作系統(tǒng)和C語(yǔ)言

      1984年

      尼古拉斯·沃斯

      Niklaus Wirth

      程序設(shè)計(jì)語(yǔ)言設(shè)計(jì)、程序設(shè)計(jì)

      1985年

      理查德·卡普

      Richard M. Karp

      算法理論,尤其是NP-完全性理論

      1986年

      約翰·霍普克羅夫特

      羅伯特·塔揚(yáng)

      John Hopcroft

      Robert Tarjan

      算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析

      1987年

      約翰·科克

      John Cocke

      編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡(jiǎn)指令集(RISC)計(jì)算機(jī)的開發(fā)

      1988年

      伊凡·蘇澤蘭

      Ivan Sutherland

      計(jì)算機(jī)圖形學(xué)

      1989年

      威廉·卡亨

      William Morton Kahan

      數(shù)值分析

      1990年

      費(fèi)爾南多·考巴脫

      Fernando J. Corbató

      CTSS和Multics

      1991年

      羅賓·米爾納

      Robin Milner

      LCF,ML語(yǔ)言,CCS

      1992年

      巴特勒·蘭普森

      Butler W. Lampson

      分布式,個(gè)人計(jì)算環(huán)境

      1993年

      尤里斯·哈特馬尼斯

      理查德·斯特恩斯

      Juris Hartmanis

      Richard E. Stearns

      計(jì)算復(fù)雜度理論

      1994年

      愛德華·費(fèi)根鮑姆

      拉吉·瑞迪

      Edward Feigenbaum

      Raj Reddy

      大規(guī)模人工智能系統(tǒng)

      1995年

      曼紐爾·布盧姆

      Manuel Blum

      計(jì)算復(fù)雜度理論,及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用

      1996年

      阿米爾·伯努利

      Amir Pnueli

      時(shí)序邏輯,程序與系統(tǒng)驗(yàn)證

      1997年

      道格拉斯·恩格爾巴特

      Douglas Engelbart

      互動(dòng)計(jì)算

      1998年

      詹姆斯·尼古拉·格雷

      James Gray

      數(shù)據(jù)庫(kù)與事務(wù)處理

      1999年

      弗雷德里克·布魯克斯

      Frederick P. Brooks,Jr.

      計(jì)算機(jī)體系結(jié)構(gòu),操作系統(tǒng),軟件工程

      2000年

      姚期智

      Andrew Chi-Chih Yao

      計(jì)算理論,包括偽隨機(jī)數(shù)生成,密碼學(xué)與通信復(fù)雜度

      2001年

      奧利-約翰·達(dá)爾

      克利斯登·奈加特

      Ole-Johan Dahl

      Kristen Nygaard

      面向?qū)ο缶幊?/span>

      2002年

      羅納德·李維斯特

      阿迪·薩莫爾

      倫納德·阿德曼

      Ronald L. Rivest

      Adi Shamir

      Leonard M. Adleman

      公鑰密碼學(xué)(RSA加密算法)

      2003年

      艾倫·凱

      Alan Kay

      面向?qū)ο缶幊?/span>

      2004年

      文特·瑟夫

      羅伯特·卡恩

      Vinton G. Cerf

      Robert E. Kahn

      TCP/IP協(xié)議

      2005年

      彼得·諾爾

      Peter Naur

      Algol 60語(yǔ)言

      2006年

      法蘭西斯·艾倫

      Frances E. Allen

      優(yōu)化編譯器

      2007年

      愛德蒙·克拉克

      艾倫·愛默生

      約瑟夫·斯發(fā)基斯

      Edmund M. Clarke

      Allen Emerson

      Joseph Sifakis

      開發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤

      2008年

      芭芭拉·利斯科夫

      Barbara Liskov

      編程語(yǔ)言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論

      2009年

      查爾斯·薩克爾

      Charles Thacker

      幫助設(shè)計(jì)、制造第一款現(xiàn)代PC

      2010年

      萊斯利·瓦倫特

      Leslie Valiant

      對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn)

      2011年

      猶大·伯爾

      Judea Pearl

      人工智能

      2012年

      莎菲·戈德瓦塞爾

      希爾維奧·米卡利

      Shafi Goldwasser

      Silvio Micali

      由于在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作

      2013年

      萊斯利·蘭伯特

      Leslie Lamport

      在提升計(jì)算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn) 

      2014年

      邁克爾·斯通布雷克

      Michael Stonebraker

      對(duì)現(xiàn)代數(shù)據(jù)庫(kù)系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)

      2015年

      惠特菲爾德·迪菲

      馬丁·赫爾曼

      Whitfield Diffie and Martin Hellman

      這兩個(gè)人是非對(duì)稱加密的創(chuàng)始人

      2016年

      蒂姆·伯納斯·李

      Tim Berners-Lee

      萬(wàn)維網(wǎng)的發(fā)明者 

      2017年

      約翰·軒尼詩(shī)

      大衛(wèi)·帕特森

      John L. Hennessy

      David A. Patterson

      開創(chuàng)了一種系統(tǒng)的、定量的方法來設(shè)計(jì)和評(píng)價(jià)計(jì)算機(jī)體系結(jié)構(gòu)

      各高校圖靈獎(jiǎng)得主


      圖靈獎(jiǎng)(Turing Award)自1966年首次頒發(fā),截止2017年共授予了67位個(gè)人 。據(jù)相關(guān)資料統(tǒng)計(jì),截止2017年,按圖靈獎(jiǎng)得主數(shù)量(校友、教職工以及研究人員),前10名高校名單如下:


      美國(guó)斯坦福大學(xué)(Stanford University),27人

      美國(guó)麻省理工學(xué)院(MIT),25人

      美國(guó)加州大學(xué)伯克利分校(UC Berkeley), 25人

      美國(guó)哈佛大學(xué)(Harvard University),14人

      美國(guó)普林斯頓大學(xué)(Princeton University),13人

      美國(guó)卡耐基梅隆大學(xué)(Carnegie Mellon University),12人

      美國(guó)紐約大學(xué)(New York University),7人

      (并列)美國(guó)加州理工學(xué)院(Caltech)、英國(guó)劍橋大學(xué)(University of Cambridge)、美國(guó)密歇根大學(xué)(University of Michigan)、英國(guó)牛津大學(xué)(University of Oxford),6人

        本站是提供個(gè)人知識(shí)管理的網(wǎng)絡(luò)存儲(chǔ)空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點(diǎn)。請(qǐng)注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購(gòu)買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請(qǐng)點(diǎn)擊一鍵舉報(bào)。
        轉(zhuǎn)藏 分享 獻(xiàn)花(0

        0條評(píng)論

        發(fā)表

        請(qǐng)遵守用戶 評(píng)論公約

        類似文章 更多