from    
to    
search  

 


Tensor network simulation of dynamics and finite-temperature quantum system
物理系colloquium：重离子加速器发展前沿和重大应用
Large N theory of critical Fermi surface
Temporal Entanglement in Dual-Unitary Clifford CircuitswithProbabilistic Mea...
报告题目:
清华海外名师讲堂第五十七讲:嵌入式系统-计算机科学研究的新挑战(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 引文数据库的检索与利用
 
同类别相关信息
On System Challenges for Smart Mach...
现代数学报告：Machine Learning of Q...
Optimal and Stable Motion Planning ...
Digital Image Processing Research &...
大海捞毒针——网络安全高级持续威胁（A...
学术活动