博文

对【“计算机语言”一词及这篇文章的表述】你怎么看？

2013-5-22 21:26

信息来源：计算机学会门户网站“学会动态”。 慎用“计算机语言”一词 彭民德： 中南大学信息工程学院 教授，中国计算机学会高级会员 联系方式： mdpeng40@126.com ; “计算机语言”一词，有时出现在书店的书架分类命名上，那可能是泛指计算机方面的书，区别于社科和其它理工科书籍。在这样的场合不 ...

个人分类: 计算机软件理论与工程|4422 次阅读|没有评论

ACM - IEEE CS Ken Kennedy Award 2011

2012-1-13 08:28

Citation For foundational compilation algorithms and programming tools; research and discipline leadership; and exceptional mentoring. & ...

个人分类: 计算机软件理论与工程|3283 次阅读|没有评论

Automated Software Engineering(2011)国际会议

热度 1 2011-8-12 07:21

IEEE/ACM Program Committee看见一位中国成员：梅宏---北京大学信息科学技术学院院长、软件研究所所长 A utomated reasoning techniques Component-based systems Computer-supported cooperative work Configuration management Domain modelling and meta-modelling Empiri ...

个人分类: 计算机软件理论与工程|3203 次阅读|2 个评论 热度 1

软件可靠性简论110804

热度 1 2011-8-4 18:04

此文是对闵老文章《 容错计算技术的应用 》的评论，行文如下： 软件可靠性工程研究对于改善软件可靠性方面是至关重要的，但现在软件行业规范意识比较差，产品交付质 量难以保证，一般软件制品生产对可靠性要求很难量度，一般测试很难发现问题。更谈不上程序验证，无法达到充分的可信性，大型程序系统验证更是浩大工程。特 ...

个人分类: 计算机软件理论与工程|3615 次阅读|3 个评论 热度 1

Google工程师：复杂性是软件的敌人

热度 2 2011-5-4 17:13

引自：http://neugierig.org/software/blog/2011/04/complexity.html I'm almost through my seventh year working at Google(!). I have learned many things there, more than I could ever write down. I thought I would at least share with you something that's only come to me with more experience. ...

个人分类: 计算机软件理论与工程|3250 次阅读|4 个评论 热度 2

软件复杂性101130

2010-11-30 16:18

软件复杂性研究可以着眼于软件自身的结构、功能、目的、规则及所处的计算环境，通过复杂性的理论与方法探究软件工程与软件安全问题。实际上，在互联无处不在的今天计算环境中，系统中进程环境越来越复杂，进程之间的通讯具有一定的混沌性与模糊性，程序运行环境的可控性越来越差，安 ...

个人分类: 计算机软件理论与工程|5090 次阅读|1 个评论

美国计算机协会计算逻辑汇刊TOCL

2010-11-3 15:59

For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library . ...

个人分类: 计算机软件理论与工程|3954 次阅读|没有评论

AspectML面向方面的函数编程语言研究

2010-6-7 10:35

AspectML - Aspect-oriented Functional Programming Language Research Princeton University University of Pennsylvania Objectives Our research is to extend fun ...

个人分类: 计算机软件理论与工程|3574 次阅读|没有评论

人脸识别技术特别专题ScienceWatch.com

2010-5-22 22:05

信息来源于:http://www.thomsonscientific.com.cn/media/siciencewatch01.pdf 何晓飞 人脸识别技术特别专题 根据我们在过去十年间对人脸识别技术所进行的特别专题分析，《使用拉普拉斯脸方法进行人脸识别》这篇论文（XF He, et al., IEEE Trans. Patt. Anal. Mach. Int. 27 : 328-40, March 2005）在过去十年间在被引频 ...

个人分类: 计算机软件理论与工程|4162 次阅读|没有评论

本页有 1 篇博文因作者的隐私设置或未通过审核而隐藏