阅读更多

3顶
0踩

编程语言

转载新闻 2007年图灵奖揭晓

2008-02-07 23:48 by 正式记者 YuLimin 评论(3) 有3308人浏览
ACM的官方消息,Edmund M. Clarke,Allen Emerson和Joseph Sifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”(For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries)而荣获2007年的图灵奖。

DDJ的报道则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”(for their work on an automated method for finding design errors in computer hardware and software)。

刘江翻译的相关详细信息
来自: ACM
3
0
评论 共 3 条 请登录后发表评论
3 楼 turing 2008-02-08 20:40
关注Jolt甚于图灵奖,有些自甘堕落的感觉啊。哈哈。

Jolt奖其实商业味道很重的,小圈子的味道也很重,仅能作为参考而已。
2 楼 kelaocai 2008-02-08 13:23
也是,jolt什么时候出来呢?准备购书了
1 楼 neusun 2008-02-08 13:07
图灵。。看花了眼。。以为是jolt出来了。。。

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

  • Struts和Hibernate整合中分页实现解析

    1 为什么要分页我们在做数据库查询的时候,可能查询到的记录较多,显示在一页,显然会使界面看起来有点冗长...在做Struts与Hibernate整合开发的时候,怎样去做分页呢? 一般处理方法分为以下几种: 一、在Struts分页

  • 《传智播客:2.3/spring/jdbc/EJB3.0/ajax/hibernate/Struts/java视频教程》(SPRING2.5/AJAX/JAVA/JNI/FTP/AJAX/ibatis/OA/JDBC)

    《传智播客:2.3/spring/jdbc/EJB3.0/ajax/hibernate/Struts/java视频教程》(SPRING2.5/AJAX/JAVA/JNI/FTP/AJAX/ibatis/OA/JDBC) 电驴资源下面是用户共享的文件列表,安装电驴后,您可以点击这些文件名进行下载传智...

  • 传智博客(JavaWeb方面的所有知识)听课记录(经典)

    (1).Bad versionnumber in .class file:编译器版本和运行(JRE)版本不符合。高的JRE版本兼容低版本的编译器版本。 (2).当程序有错误的时候,使用Debug as 运行程序。双击语句设置断点。程序运行到此处停止。点击...

  • Hibernate如何提升数据库查询的性能

     然而,延迟加载又会面临另外一个问题,如果在Session关闭前关联对象没有被实例化,那么在访问关联对象的时候就会抛出异常。处理的方法就是在事务提交之前就完成对关联对象的访问。  所以,在通常情况下都会...

  • 技术笔试面试题(下)

    【解释】无 【题目编号】 jsd-02-201-5019 【知 识 点】 数据库-Oracle SQL-SQL基础-分组 【难易程度】 10 【题目描述】 查询语句排名问题: 名次 姓名 月积分(char) 总积分(char) 1 WhatIsJava 1 99 2 水王 76...

  • JAVA笔试面试题集锦07

    4.1 Struts2 【题目描述】 Struts 框架可以支持以下哪种程序开发语言? 【选项】 A.C B.C++ C.Java D.C# 【正确答案】 C 【题目描述】 简述基于 Struts 框架 Web 应用的工作流程 【正确答案】 在 web ...

  • 笔试面试题集(java)

    本书为自己的面试试题和收藏自认为比极好的题目,整理归类在word文档中。然后复制到csdn中,涵盖了java面试中出现的各个知识点,包括java语言基础、数据库、web编程、框架等。其中每个部分都按小知识点进行笔试面试...

  • Hibernate性能优化

    1.深入Hibernate 一、Hibernate数据查询 HQL:Hibernate查询语言,它是...(3)支持投影查询、分页查询、连接查询、分组查询,子查询 (4) 内置了一些聚集函数  Hibernate中的Query接口就是专门用来执行HQ

  • Hibernate如何提升数据库查询的性能+SpringAOP分析

     然而,延迟加载又会面临另外一个问题,如果在Session关闭前关联对象没有被实例化,那么在访问关联对象的时候就会抛出异常。处理的方法就是在事务提交之前就完成对关联对象的访问。  所以,在通常情况下都会...

  • Hibernate如何提升数据库查询的性能 .

     然而,延迟加载又会面临另外一个问题,如果在Session关闭前关联对象没有被实例化,那么在访问关联对象的时候就会抛出异常。处理的方法就是在事务提交之前就完成对关联对象的访问。  所以,在通常情况下都会...

  • Hibernate查询性能优化技巧

     然而,延迟加载又会面临另外一个问题,如果在Session关闭前关联对象没有被实例化,那么在访问关联对象的时候就会抛出异常。处理的方法就是在事务提交之前就完成对关联对象的访问。  所以,在通常情况下都会...

  • WebAudioAPIError(解决方案).md

    项目中常见的问题,记录一下解决方案

  • avnet(安富利)网站详情页数据样例

    avnet(安富利)网站详情页数据样例

  • 1-全国各地区建筑业-二级专业承包建筑业企业利润总额2005-2012年-社科数据.zip

    该数据集涵盖了2005至2012年间全国各地区二级专业承包建筑业企业的利润总额。这些数据不仅包括了原始数据,还提供了线性插值和ARIMA填补的版本,以便于研究者能够根据不同的需求选择合适的数据形式进行分析。数据集中包含了行政区划代码、地区名称、是否属于长江经济带、经纬度信息、年份以及利润总额等关键指标。这些指标为评估企业的经营效益和盈利水平提供了重要依据,同时也反映了建筑业在不同地区的发展态势。数据来源为国家统计局,确保了数据的权威性和准确性。通过这些数据,研究者可以深入分析建筑业的经济贡献及其在宏观经济中的作用,为政策制定和行业规划提供数据支持。

  • CentOS6.4X64安装Oracle11g中文2.05MB最新版本

    本文档主要讲述的是CentOS6.4 X64安装Oracle11g;在CentOS安装oracle11g比安装oracle10g简单很多,oracle可以不设置比如OS内核参数、防火墙、环境变量等,所以实施时推荐安装oracle11g。感兴趣的朋友可以过来看看

  • 发动机零部件质量信息反馈及处理表.docx

    发动机零部件质量信息反馈及处理表.docx

  • 1-全国省市县土地利用类型面板数据2009-2021年-社科数据.zip

    全国省市县土地利用类型面板数据2009-2021年是一项详尽的数据集,它基于土地利用方式和地域差异,对土地资源单元进行细致划分,反映了土地的用途、性质和分布规律。该数据集涵盖了全国各省、地级市、县的土地利用类型,包括耕地、园地、林地、交通运输用地、水域及沙地等多种土地类型。时间范围上,省级和地级市的土地利用类型面板数据覆盖2009至2021年;县级土地利用类型面板数据则从2019年开始至2021年。数据指标丰富,包括行政单位、年份以及各类土地利用的具体分类,如水田、水浇地、旱地、果园、茶园等,以及城镇村及工矿用地、交通运输用地、水域及水利设施用地等。这些数据为政府决策、规划编制以及土地资源管理提供了坚实的数据基础,有助于全面了解土地资源的利用状况,并为未来的规划和管理提供支持。

  • MediaError(解决方案).md

    项目中常见的问题,记录一下解决方案

  • 前端跳槽突围课:React18底层源码深入剖析(完结21章)

    好课分享——前端跳槽突围课:React18底层源码深入剖析(完结21章)

  • 1111java后端1111Controller

    1111java后端1111Controller

Global site tag (gtag.js) - Google Analytics