计算机科学领域重要出版物一览表

跳转到导航跳转到搜索影响力-一种对世界产生重大影响或对计算机科学教学产生巨大影响的出版物。

描述：本文讨论了关于机器为什么不能智能化的各种论点，并断言这些论点都没有说服力。该论文还建议进行图灵测试，并将其称为模仿游戏。根据图灵的说法，询问机器是否能够智能思考是没有意义的，检查它是否能够智能行动就足够了。这篇论文还建议进行图灵测试，它被称为模仿游戏。根据图灵的说法，询问机器是否能够智能思考是没有意义的，检查它是否能够智能行动就足够了。

描述：今年夏天的研究提案开启并定义了该领域。它包含了人工智能这个术语的首次使用，并对该领域的哲学基础进行了简洁的描述：原则上，学习的每一个方面或智能的任何其他特征都可以如此精确地描述，以至于可以用机器来模拟它。该提案邀请了研究人员参加达特茅斯会议，这被广泛认为是人工智能的诞生。(参见人工智能的历史。)。

描述：1965年发表的开创性论文详细介绍了模糊集合论的数学原理。

描述：人工智能标准教科书。这本书的网站列出了1100多所大学。

描述：第一篇关于机器学习的论文。强调训练序列的重要性，并在构建新问题的试验性解决方案时使用以前解决问题的部分解决方案。

Seppo Linnainmaa的反向自动微分模式[1][2](首次由Paul Werbos[3]应用于神经网络)被David Rumelhart，Geoff Hinton和Ronald J.Williams用于实验以学习内部表示。

描述：决策树是一种常用的学习算法和决策表示工具。早在本文之前，许多领域的研究人员就已经开始了对决策树的研究。虽然这篇论文是该领域最有影响力的论文之一。

描述：开创在线学习领域的论文之一。在这种学习环境中，学习者接收一系列示例，在每个示例之后进行预测，并在每个预测之后接收反馈。这一领域的研究之所以引人注目，是因为(1)算法和证明往往非常简单和美观，(2)该模型没有对数据进行统计假设。换句话说，数据不需要是随机的(就像在几乎所有其他学习模型中一样)，但可以由自然甚至对手任意选择。具体来说，本文介绍了Winnow算法。

“第21届ACM年度计算理论研讨会论文集”，第433-444页，纽约。ACM.。

描述：证明在无噪声的PAC框架中弱可学习性和强可学习性是等价的。通过引入增压方法进行了证明。

第五届计算学习理论年会论文集5144-152，匹兹堡(1992)。

描述：本文提出了一种实用的、流行的机器学习算法--支持向量机。支持向量机经常使用核技巧。

描述：提出了一种易处理的深度信任网络贪婪分层学习算法，极大地促进了深度学习领域的发展。

描述：首次将监督学习应用于基因表达数据，特别是支持向量机。这种方法现在是标准的，这篇论文也是该领域被引用最多的论文之一。

卡马里尼亚-马托斯，L.M.；Afsarmanesh，H.(2005)。协作网络：一门新的科学学科，J.。智能制造。16(4-5)：439-452。电话：10.1007/s1084500516563.

Knuth，D.E.。(1965年7月)。关于语言从左到右的翻译(PDF)。信息与控制。8(6)：607-639。电话：90426-2(65)10.1016/S00199958。存档自原件(PDF)，日期为2012年3月15日。CS1维护：REF=HARV(链接)。

描述：LR解析器，对确定性上下文无关语言执行自下而上的解析。后来派生的解析器(如LALR解析器)已经并将继续成为标准实践，例如在Yacc及其后代中。[4]。

描述：抽象地说：程序中的全局数据关系可以用本文描述的静态分析方法来揭示和编码。给出了确定可能到达程序的控制流图的每个节点的所有定义和位于图的每条边上的所有定义的过程。"；

描述：将数据流分析的概念形式化为格上的定点计算，并表明用于程序优化的大多数静态分析可以在此框架内统一表示。

1982年ACM SIGPLAN编译器构造研讨会论文集，SIGPLAN通告17，6，马萨诸塞州波士顿。1982年6月。

描述：这本书成了编译器编写的经典之作。它也被称为龙书，以出现在封面上的(红色)龙的名字命名。

“计算机历史年鉴”，第5卷(第3期)，1983年，第239-252页。

描述：巨像机器是第二次世界大战期间英国密码破解者用来破解用洛伦兹密码加密的德语信息的早期计算设备。巨像是早期的二进制电子数字计算机。巨像的设计后来在参考论文中进行了描述。

描述：它包含了第一个出版的使用存储程序概念的计算机逻辑设计的描述，该概念后来被称为冯·诺依曼体系结构。

描述：IBM System/360(S/360)是IBM于1964年4月7日发布的大型计算机系统系列。它是第一个明确区分体系结构和实现的计算机系列。

描述：精简指令集计算机(RISC)CPU的设计理念。RISC是一种CPU设计理念，它支持精简的更简单的指令集。

描述：克雷-1是一台超级计算机，由克雷研究公司的西摩·克雷等团队设计。第一台Cray-1系统于1976年安装在洛斯阿拉莫斯国家实验室，它后来成为历史上最著名和最成功的超级计算机之一。

描述：本文讨论了RAID磁盘的概念，概述了RAID的不同级别，以及每个级别的优点。对于讨论计算机系统的可靠性和容错性问题，以及提供这种容错性的成本，这是一篇很好的论文。

描述：本文认为，通过增加多个指令发布和无序执行来提高处理器性能的方法不能继续无限期地提供加速。它提出了制造包含多个内核的单芯片处理器的理由。随着英特尔在2005年推出了主流的多核处理器，并在随后的市场上占据了主导地位，这篇文章被证明是有先见之明的。

SIGGRAPH：ACM计算机图形和交互技术特别兴趣小组第143-150页[6]。

计算机图形学，21(4)，1987,205-214，学报。ACM SIGGRAPH&##；87会议，加利福尼亚州阿纳海姆，1987年7月。

描述：美国电影艺术与科学学院称这篇论文是计算机图形学的里程碑。

IEEE 1975控制论和社会会议，1975，纽约，页163-165，9月。

描述：一种用于估计视频序列的2帧之间的世界点的图像运动的方法。

人工智能第七届国际联席会议论文集，674-679，加拿大温哥华，1981年。

描述：1)引入了用于图像分析的马尔可夫随机场(MRF)；2)吉布斯抽样(Gibbs Samples)，它彻底改变了计算贝叶斯统计学，因此在除计算机视觉之外的许多其他领域产生了重大影响。

描述：本文介绍了数据库的关系模型。这款车成了排行榜第一的车型。

描述：本文介绍了B-树的数据结构。这款车成了排行榜第一的车型。

见：R.Rustin(编辑)：Database Systems：65-98，Prentice Hall和IBM Research Report RJ 987，San Jose，California：(1972)

数据管理国际会议，1974年ACM SIGFIDET(现为SIGMOD)数据描述、访问和控制研讨会论文集，密歇根州安娜堡，第249-264页。

描述：定义了事务、一致性、调度等概念。它还认为，事务需要锁定数据库的逻辑子集，而不是物理子集。

ACM计算调查-异构数据库调查特刊，第22卷，第3期，第183-236页，9月1日。一九九零年。

描述：联邦数据库系统概念的引入对异构数据源的数据互操作和集成产生了巨大的影响。

程序。ACM SIGMOD数据管理会议纪要，207-216页，华盛顿特区，1993年5月。

描述：构思了一种术语特异性的统计解释，称为反向文档频率(IDF)，它成为术语权重的基石。

描述：这本书提供了一个全面的和可访问的数据通信和网络方法，使这本书成为学生和专业人士的最爱。超过830个数字和150个表格伴随着文本，为理解材料提供了直观和直观的机会。

描述：本文讨论分时作为共享计算机资源的一种方式。这个想法改变了与计算机系统的互动。

描述：关于早期计算史上最雄心勃勃的操作系统Multics的经典论文。这很难读，但它描述了试图建立一个将信息共享带到逻辑极端的系统的含义。自Multics以来的大多数操作系统都集成了其功能的子集。

描述：关于RC4000多道程序设计系统的可扩展核心体系结构，以及后来被称为操作系统内核和微内核体系结构的经典论文。

描述：第一本全面介绍操作系统的教科书。包括第一个监视器符号(第7章)。

描述：本文讨论了限制来自不受信任程序的信息流的问题。它讨论了隐蔽通道，但更重要的是，它解决了在不使程序本身实际上不可用的情况下获得完全限制的困难。在试图了解恶意代码的遏制以及可信计算的各个方面时，这些想法非常重要。

描述：介绍了Unix操作系统及其工作原理。最重要的不是论文，而是操作系统，它对操作系统和计算机技术产生了巨大的影响。

第七届ACM操作系统原理研讨会论文集，第150-159页，1979年12月。太平洋格罗夫，加利福尼亚州。

描述：本文描述了称为法定共识的一致性机制。这是一个很好的算法示例，它在两个备选方案之间提供了一组连续的选项(在本例中，在读一写全写一致性方法和写一读全读一致性方法之间)。在接下来的几年里，研究人员进行了许多变化和改进，这是所有人都应该理解的一致性算法之一。通过选择不同大小的仲裁提供的选项为讨论分布式系统中一致性的核心要求提供了有用的结构。

描述：这是关于同步技术的经典论文，包括备选方法和陷阱。

“IACM计算机系统学报”，第2卷，第3期，1984年8月，第181-197页。

描述：UNIX的文件系统。这是首批讨论如何管理高性能文件系统的磁盘存储的文章之一。本文以来的大多数文件系统研究都受到了它的影响，近20年来的大多数高性能文件系统都采用了本文的技术。

这个明确的描述主要涵盖了system V Release 2内核，以及来自Release 3和BSD的一些新特性。

“计算机系统上的ACM学报”，第10卷，第1期(1992年2月)，第26-52页。

USENIX微内核和其他内核架构研讨会论文集，第11-30页，1992年4月。

描述：这是一篇很好的论文，讨论了一种特殊的微内核架构，并将其与单片内核设计进行了对比。Mach是MacOSX的基础，它的分层体系结构对Windows NT内核和现代微内核(如L4)的设计产生了重大影响。此外，它的内存映射文件功能被添加到许多单片内核中。

描述：这篇论文是该想法的第一个产品质量实现，它引发了关于日志结构文件系统的可行性和缺点的更多讨论。虽然“日志结构文件系统的设计和实现”肯定是第一个，但这一部分对于将研究思想转化为可用的系统非常重要。

描述：这篇文章描述了IBM团队第一个FORTRAN编译器的设计和实现。Fortran是一种通用的过程性命令式编程语言，特别适用于数值计算和科学计算。

描述：本文介绍了第一种函数式编程语言LISP，它在计算机科学的许多领域都有广泛的应用，特别是在人工智能领域。LISP还具有在语言中操作LISP程序的强大功能。

Peter Naur等人关于算法语言ALGOL 60的修订报告。-非常有影响力的ALGOL定义；具有第一个正式定义的语法。

布莱恩·兰德尔和L·J·罗素，ALGOL 60实现：ALGOL 60程序在计算机上的翻译和使用。学术出版社，1964年。油石编译器的设计。早期出版的关于实现编译器的描述之一。参见相关论文：重温的Whetstone Algol和Brian Randell著的Whetstone KDF9 Algol翻译器。

Edsger W.Dijkstra，ALGOL 60翻译：x1的ALGOL 60翻译机和ALGOL 60的翻译机，mr 35/61。数学中心，阿姆斯特丹，1961年。[11]。

描述：这篇开创性的论文提出了一种理想的语言ISWIM，但它从未实现过，影响了整个后来的开发。

描述：编程语言中的基本概念引入了许多今天仍在使用的编程语言术语，包括R值、L值、参数多态和即席多态。

描述：本系列论文和报告首先定义了有影响力的Scheme编程语言，并对编程语言设计中的主流实践提出了质疑，广泛使用λ演算对编程语言概念进行建模，并在不牺牲表达能力的情况下指导有效的实现。

描述：这本教科书解释了计算机编程的核心概念，被广泛认为是计算机科学中的经典文本。

威尔金森，J.H.；莱因施，C.(1971)。线性代数，自动计算手册第二卷。斯普林格。ISBN978-0-387-05414-8。

高卢布，吉恩·H；凡·劳，查尔斯·F(1996)[1983]，矩阵计算，第3版，约翰·霍普金斯大学出版社，ISBN，电话：978-0-8018-5414-9。

Booth，T.L.(1969)。形式语言的概率表示。1969年第十届开关与自动机理论年会IEEE会议纪要。第74-81页。

首次发表了使用有限状态传感器的计算形态学描述。(卡普兰和凯之前曾在这一领域做过工作，并在一次会议上提出了这一点；语言学家约翰逊在1972年曾评论过这种可能性，但没有提出任何实施方案。)。

劳伦斯·R·拉比纳(1989)。关于语音识别中的隐马尔可夫模型和选定应用的教程"；。IEEE会议论文集。77(2)：257-286。CiteSeerX：10.1.1.381.3454.。10.1109/5.18626。

概述了适用于语音识别和其他NLP领域的隐马尔可夫模型，描述了维特比和前向后向算法。

埃里克·布里尔(1995)。基于转换的错误驱动学习与自然语言处理：词性标注案例研究。计算语言学。21(4)：543-566。

这项调查记录了相对较少研究的懒惰函数式编程语言(即Haskell)对于构建自然语言处理器和容纳许多语言学理论的重要性。

描述：1968年召开的软件界领军人物会议定义了软件工程领域。

描述：对起源(现在占主导地位的)模型-视图-控制器的GUI编程范例的系统的描述。

描述：模块化和信息隐藏的重要性。请注意，信息隐藏最初是在同一作者的另一篇论文中提出的--《设计方法论的信息分布方面》，IFIP大会论文集71,1971年，小册子TA-3，第26-30页。

在Dahl，Dijkstra和Hoare，结构化编程，学术出版社，伦敦和纽约，第175-220页，1972年。

描述：面向对象编程的开始。本文认为应该将程序分解成具有小而简单的接口的独立组件。他们还认为对象应该既有数据又有相关方法。

布鲁克斯，弗雷德里克。P.，Jr.。(1987年4月)。没有银弹：软件工程的本质和意外。电脑。20(4)：10-19.CiteSeerX：10.1.1.117.315.。DOI：10.1109/MC.1987.1663532.。

描述：这本书是第一本在计算机科学中定义和列出设计模式的书。

D·哈雷尔。Statecharts：复杂系统的可视化形式化。计算机编程科学，8：231-274,1987

描述：Statecharts是一种可视化建模方法。它们是状态机的扩展，效率可能会成倍提高。因此，统计图表允许对以前过于复杂的应用程序进行正式建模。状态图是UML图的一部分。

大卫·查姆。无法追踪的电子邮件、回邮地址和数字化名。ACM通讯，4(2)：84-88,1981年2月。

Dingledine和Mathewson，“匿名爱公司：可用性和网络效应”，信息安全经济学研讨会(Weis)，2006。

惠特菲尔德·迪菲(Whitfield Diffie)和马丁·E·赫尔曼(Martin E.Hellman)，密码学的新方向，IEEE信息理论学报，1976年11月。

R.L.Rivest和A.Shamir，L.M.Adelman，A Method for Obtain Digital Signature and Public-Key Cryptossystems，MIT/LCS/TM-82,1977。

“安全、认证和公钥系统”，斯坦福大学博士论文，1979。(只需阅读第2章第11-15页，其中Merkle发明了密码散列函数。)。

莫里斯，罗伯特和汤普森，肯塔基州。密码安全：案例记录，ACM CACM主页档案通讯，第22卷，第11期，1979年11月，第594-597页。PDF格式。

丹尼斯和范霍恩，多程序计算的编程语义学，ACM编程语言和语用学会议(1965年8月)