ITiCSE 2007收到了近300份学术论文,包括创纪录的210篇论文。多亏我们由400多位审稿人组成的团队,所有论文至少收到3篇审稿,大部分为4、5甚至6条。计划委员会接受了28%提交的论文。其他提交类别中的所有提案都经过了非常仔细的审查。计划委员会努力工作,以适应ITiCSE会议的需要,创建高质量,相关且有趣的论文的最佳组合,并为2007年的特殊主题:计算机科学的全纳教育做出了贡献。我们很幸运地邀请了三位出色的演讲者,每位演讲者将就该主题提供不同的看法:保罗·柯松(Paul Curzon)(伦敦大学女王玛丽); Chris van der Kuyl(Tayforth Consulting Ltd主席)和Vicki Hanson(IBM T.J. Watson研究中心)。 p>
ITiCSE 2007是一个真正的国际盛会。收到了来自31个不同国家的意见书:15个欧洲国家和16个非欧洲国家。迄今为止(2007年4月),会议网站已收到来自83个国家/地区的热门信息。邓迪大学很高兴成为ITiCSE的第一位苏格兰东道主,特别是在该大学成立40周年之际。这也是英国计算机学会成立50周年和ACM成立60周年。计算学院欢迎ITiCSE的访客来到其新家,即女王母亲大楼,该大楼于2005年开放,并以纪念大学第一任校长的名字命名。
机译:自动检查并发线程的输出
机译:并发检查逻辑[审查“并发检查的新方法(Goessel,M。等,2008)”
机译:可控的自我检查检查器,用于条件并发检查
机译:自动检查并发线程的输出
机译:使用离散事件系统自动生成动态线程的并发控制。
机译:使用过程控制技术对线性加速器输出稳定性检查进行回顾性分析
机译:自动生成并发检查