搜尋結果
2019年12月6日 · Heilmeier在1970年代的大部分时间都在美国国防部工作。 从1970-71年间，他担任白宫研究员和国防部长特别助理，执行了长期的研发计划。 1971年，他被任命为国防研究与工程，电子和物理科学的助理总监，负责电子和物理科学的所有研究和探索性开发。 1975年，他被任命为美国国防高级研究计划局（DARPA）的局长，并在隐形飞机，天基激光，天基红外技术和人工智能。 1977年12月，希尔迈尔离开政府成为德州仪器公司的副总裁; 1983年，他被提升为首席技术官。 从1991年至1996年，他担任Bellcore（现为Telcordia）的总裁兼首席执行官，最终负责将其出售给Science Applications International Corporation（SAIC）。
2014年4月3日 · 本频道收集发布互联网、电脑硬件，等作出卓越贡献的人物。 [iis7百科] AI先驱，图灵奖获得者：赫伯特·西蒙和艾伦·纽厄尔 [iis7百科] Jack Kilby，一个靠智慧和自己的专业领域成就改变了世界的人 [iis7百科] 查尔斯·帕特里克·萨克尔——PC之父 [iis7百科] 莱斯利·瓦利安特——计算理论变革者
2019年11月26日 · 有些人一身本事，却鲜为人知，他就是这样一个人。 人物简介 朱传榘，1919年出生于天津，1939年赴美留学。1946年在美国宾夕法尼亚大学与5名美国人共同发明了世界上第一台计算机（ENIAC），因此被称为计算机先驱。 为祖国也做过很多贡献，2011年6月6日，在美国
2019年10月21日 · 荷兰皇家艺术与科学院院士。 荷兰自由大学的计算机系统系的学术首席教授（Academy Professor）。 2006年IEEE普及计算大会最佳高影响力论文的合著者之一。 2003年美国教科书与高等院校作者协会（TAA）的麦格菲奖（McGuffey Award）（授予经典教材）获得者。 2002年美国教科书与高等院校作者协会的教材奖（Texty Award）（授予新教材）获得者。 1997年ACM计算机科学教育专业小组（Special Interest Group）计算机科学教育杰出贡献奖获得者。 1994年ACM Karl V. Karlstrom杰出教育家奖获得者。 1984年ACM操作系统规范研讨会议（SOSP）杰出论文奖的合著者之一。
2019年11月21日 · 在斯坦福大学做博士后时转而研究计算机科学。 由于程序的行为是一种动态现象，其状态是随着时间的推移而不断改变的 ，而这种改变又可能反过来影响其外部环境。 并发反应式程序的这种持续的动态行为无法用经典逻辑描述，由著名的逻辑学家霍恩 (A．Hom)于1951年提出，因而用他的名字命名的至多包含一个正文字的Hom子句所组成的霍恩逻辑也不能描述。 而伯努利的PLTL则凭着它的极强的表达能力，填补了这一空白，成为研究并发程序尤其是持续不终止的反应式程序 (如操作系统，网络通信协议等)的强有力的形式化工具，可充分表达程序的安全性、活性和事件的优先性等，成为程序规约 (specification)、验证 (verification)等的有力工具。
2019年11月14日 · 1959年获得应用数学博士学位。 卡普在IBM期间，主要是深入研究了与实际应用有密切联系的一系列数学问题，如路径问题、背包问题、覆盖问题、匹配问题、分区问题、调度问题等，取得了许多出色的成果。 这些问题有一个共同的特点，即如果用图来表示问题，那么当图中增加一个结点时，需要考察的可能的解的数目就急剧增加，形成所谓“组合爆炸”（combinatorial explosion），使计算机的计算工作量大大增加，到一定程度就根本无法实现。 以路径问题中最著名的旅行推销员问题为例，在卡普以前，最好的结果是Rand公司的丹齐格（George Benard Dantzig）、福格申（R．Fulkerson）和约翰逊（S．Johnson）用手工和计算机相结合的办法，求出了包含49个城市的旅行推销员的最佳路线。
2019年11月14日 · 沃思是一个具有热切爱国情怀的人，成名后的他婉拒了斯坦福大学的挽留，于1967年回到祖国，先在苏黎世大学教书，但第二年就回到他的母校苏黎世工学院。 在这里，他先是设计与实现了 PASCAL语言，这是在 CDC 6600上开发成功的。 PASCAL在数据结构和过程控制结构方面都有很多创造。 对于前者，除一般的整型、实型、布尔型数据外，PASCAL还增加了字符型、子域类型、记录结构类型、文件类型、集合类型和指针类型；对于过控制结构方面，除了保留了无条件转移的GOTO语句外，又增加了if-then-else、case、while、repeat和for等多种控制结构，还允许复合语句和处理记录变量的分量使用with语句这种编写形式。
