学科库

最新文章历史影响

学科情报库 : 计算机科学技术->计算机软件

国家示范性软件学院人才培养专题会议在大连举行(图) 2012-06-19 转载数: 0 引用数:0 字数:1455 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: 大连理工大学 ] 文章参考类型:新闻
摘要:由教育部示范性软件学院建设工作办公室主办的全国国家示范性软件学院人才培养专题会议,于2012年6月17日在大连香洲花园酒店隆重举行。大连理工大学软件学院作为全国示范性软件学院院长联席会主席单位承办了本次会议。本次会议旨在适应当前形势下软件人才培养的新需求,保持国家示范性软件学院在高等教育改革和人才培养模式上的创新与活力,进一步提高软件人才培养水平和质量。出席本次会议的有教育部示范性软件学院建设工作办公室副主任、北京交…
关键词:人才培养 软件产业 计算与软件工程
分割线
爱尔兰科克大学科学、工程与食品科学学院院长一行访问东北大.. 2012-06-18 转载数: 0 引用数:0 字数:952 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: 东北大学 ] 文章参考类型:新闻
摘要:2012年6月14日上午,爱尔兰科克大学科学、工程与食品科学学院院长Patrick教授一行两人访问东北大学软件学院。双方在综合楼603会议室举行会谈,软件学院院长朱志良教授、院长助理于瑞云副教授及国际化办学相关管理人员参加了此次会谈。
关键词:爱尔兰科克大学 科学、工程与食品科学学院 东北大学软件学院
分割线
美日两科学家获芬兰2012千年技术奖——分别获得60万欧.. 2012-06-14 转载数: 0 引用数:0 字数:895 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: 科学网—构建全球华人.. ] 文章参考类型:新闻
摘要:芬兰2012千年技术奖颁奖仪式2012年6月13日在首都赫尔辛基举行。Linux操作系统创始人、美国软件工程师利努斯·托尔瓦兹和诱导多功能干细胞培养技术开发者、日本京都大学教授山中伸弥获奖,并分别获得60万欧元奖金。
关键词:山中伸弥教授 利努斯·托尔瓦兹 千年技术奖
分割线
电子科技大学本科学生在国际知名期刊发表论文 2012-05-22 转载数: 0 引用数:0 字数:1069 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: 电子科技大学 ] 文章参考类型:新闻
摘要:电子科技大学计算机信息软件学院国际化软件实验班2009级学生杨紫陌与互联网科学中心周涛教授合作,在国际知名物理期刊《美国物理评论》上发表论文“含权网络上的传播动力学:一种基于边的平均场解析”。杨紫陌为第一作者,周涛教授为通讯作者。
关键词:电子科技大学 本科学生 国际知名期刊 发表论文
分割线
英国开发出面部识别手机软件 为提升多种平台的安全性提供了.. 2012-03-09 转载数: 0 引用数:0 字数:1093 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: 科学网—构建全球华人.. ] 文章参考类型:新闻
摘要:英国科学家日前开发出一种可实时追踪面部特征的手机软件,从而为提升多种平台的安全性提供了可能。据研制该项技术的曼彻斯特大学的研究人员介绍,这个软件的开发成功意味着手机密码的废除,因为它能够轻而易举地准确识别出谁是真正的用户。生物识别技术被认为具有无以匹敌的速度和准确度。而新的软件可使以手机登录网址时用面部识别替代密码和身份证号码。
关键词:英国 面部识别 手机软件 平台安全性
分割线
并发程序切片原型系统的设计与实现 2012-03-01 转载数: 0 引用数:0 字数:887 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: Apache Tom.. ] 文章参考类型:期刊
摘要:并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制, 在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图, 生成以程序状态和语句二元组为节点的并发程序依赖图, 实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明, 与传统的切片方法相比, 采用基于程序可达图的并发程序切片方法, 可有效地解决依赖关系不可传递问题, 获得高精度的并发程序切片。
关键词:并发程序 原型系统 依赖性分析 程序切片
分割线
面向服务软件异常处理过程的可终止性验证 2012-03-01 转载数: 0 引用数:0 字数:1699 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: Apache Tom.. ] 文章参考类型:期刊
摘要:大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高, 导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础, 如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法, 从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net, CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。…
关键词:异常处理 可终止性验证 验证方法 面向服务软件
分割线
并行高效BCH译码器设计及FPGA实现 2012-03-01 转载数: 0 引用数:0 字数:758 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: Apache Tom.. ] 文章参考类型:期刊
摘要:针对并行BCH译码器的特点,采用异或门实现有限域上常系数乘法,从而降低硬件复杂度。先计算部分错误位置多项式,再根据仿射多项式和格雷码理论,进行逻辑运算得到剩余的错误位置多项式,从而减少了系统所占用的资源。在现场可编程门阵列(FPGA)开发软件ISE10.1上进行了时序仿真,验证了该算法时间和空间的高效性。
关键词:现场可编程门阵列 BCH译码器 仿射多项式 格雷码
分割线
基于MYGCC的编程规则检查算法研究 2012-02-25 转载数: 0 引用数:0 字数:574 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: joces.org... ] 文章参考类型:期刊
摘要:MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。
关键词:编程规则检查 静态分析 可扩展编译器
分割线
基于OSA/Parlay的VoiceXML解释器实现研究 2012-02-25 转载数: 0 引用数:0 字数:938 附件:无附件
[分类信息: 计算机科学技术->计算机软件 ] [媒体: joces.org... ] 文章参考类型:期刊
摘要:VoiceXML技术能有效结合通信网和Internet,为电话用户提供丰富的语音应用。本文提出一种基于OSA/Parlay API(开放式应用编程接口)的VoiceXML解释器的设计与实现方案,能有效屏蔽不同制式电信网络的异构性,具有很好的跨平台通用性。针对解释器中业务状态变化多和网络功能扩展的需要,以state模式优化设计,从而保持整体系统的稳定性和可扩充性。最后说明了实现情况,并以一个具体业务运行时的消息处理流程…
关键词:语音标记语言 开放业务架构 下一代网络
分割线

 |< <  1  2  3  4  5  6  7  8  9  10   > >| (共544页,10项/页,共5434项)