from    
to    
search  

 


Rotating strings and particles in AdS: Holography at weak gaugecouplingand wi...
清华大学材料科学与工程研究院《材料科学论坛》：Next-generation Ultra-high-effi...
Mixed-state quantum anomaly and multipartite entanglement
Mass Gap in AdS Spacetime
报告题目:
清华海外名师讲堂第五十七讲:嵌入式系统-计算机科学研究的新挑战(Embedded Systems – New Research Challenges for Computer Science)
　报告人:
 Joseph Sifakis教授
教授
2007年图灵奖获得者,现任法国国家科学研究院（CNRS） 研究总监，以嵌入式系统著称世界的研究中心Verimag实验室的创始人，模型检查（Model-Checking）理论奠基人之一,欧洲嵌入式系统项目Europea n Network of Excellence ARTIST2 科学协调人。
报告时间:
 2009-10-26 14:30
报告地点:
 FIT楼报告厅
主办单位:
 国际处，软件学院
　　简介:

演讲摘要：

·           分析模型与计算模型的统一

·           通过构件组合构造系统

·           通过内建“系统特性保证”来克服事后验证方法的复杂性和局限性

·           确保交互式系统行为可预测性，从而克服其动态行为固有的不确定性

 

特别提醒：参加本系列课程8次及以上并提交合格总结可获得学分。清华在校学生请携带IC卡，入场时刷卡记录。如果你想及时获知海外名师讲堂最新信息，可以发邮件到lectures@tsinghua.edu.cn，我们会将最新讲堂信息发到你邮箱。

 
今日相关信息
Curriculum and Education in Computer-...
地方政府、政策能力和可持续性过渡——新疆...
In Vivo Optical Imaging Technology an...
Structural Basis of Transcription Elo...
Web of Science 引文数据库的检索与利用
 
同类别相关信息
Hashing big multimedia data for rea...
On the Nature of Autonomy – A Rigo...
大数据知识工程
智能供应链中的数据科学
云计算安全研究进展及未来趋势
学术活动