今年5月,教育部下发了2009年起对全国硕士研究生统一入学考试计算机科学与技术学科的初试科目进行调整及命题形式进行改革的通知。自此,已有计算机科学与技术、教育学、历史学、医学和农学及心理学等多门学科专......
2009-08-06 关键字:微软公司为了“打击盗版行为,维护知识产权”,使用“黑屏”手段实施其操作系统和办公软件的正版验证计划,此举引起国内社会各界的强烈反应,纷纷对微软公司的这种“黑屏”行为提出了质疑:微软这种“黑屏”行为是否......
2009-08-06 关键字:YOCSEF于2008年7月12日在北京外国专家大厦举办专题论坛,研讨电信重组之机遇与挑战。北京邮电大学经济管理学院教授曾剑秋博士、中国社科院信息化研究中心徐立博士、中国通信业专业门户飞象网CEO项立......
2009-08-06 关键字:自动地验证一个系统(硬件、软件等)的行为是否与预期的性质相符合是计算机领域的一个根本问题。模型检验(Model Checking)技术就是针对这个问题提出的解决方案之一。自1981年问世以来,模型检验......
2009-08-06 关键字:从发达国家到发展中国家,从虚拟经济到实体经济,一场彻骨的寒流正在席卷整个世界,IT业也无法独善其身。从中关村电子市场的日渐冷清、著名风险资本的悲观预期,到IT企业的裁员风暴,人们在问IT业的严冬是否已......
2009-08-06 关键字:计算技术的发展,体现出计算普适化与网络泛在化的特点。云计算模式,通过泛在的高速网络,将轻小的客户端系统与高性能服务器结合起来,为用户提供前所未有的功能与便利。新的计算模式对系统软件提出了许多新的挑战:......
2009-08-06 关键字:两千年初的IT业界惊呼:“免费的午餐没有了”! 当处理器的性能提升不能再继续通过主频的提升沿着摩尔定律飞速发展的时候, IT业界感觉无所适从。如何延续摩尔定律?摩尔定律是否终结了?多核甚至众核处理器的......
2009-08-06 关键字:2009年2月27日下午,“可信软件”YOCSEF学术报告会在北京航空航天大学新主楼会议中心第二报告厅举行。本次学术报告会经过YOCSEF学术委员会的精心组织和广泛宣传,共吸引了约280多名观众参会,......
2009-08-06 关键字:YOCSEF—-青年计算机科技论坛(CCF Young Computer Scientists & Engineers Forum)是由中国计算机学会(China Computer Federatio......
2009-08-06 关键字:上周末,由中国计算机学会主办,IT168协办的青年计算机科技论坛YOCSEF在中科院计算所举行了主题为《低排放绿色计算》的主题报告。与会的有来自英特尔、曙光、百度和浙江大学的产业界、学术界专家,共同就......
2009-06-30 关键字: