首页
出自计算机科学国家重点实验室
首页
| 相关下载 | |
|---|---|
| 开放课题 | 管理办法，相关表格 |
| 开放资源 | 管理办法，相关表格 |
实验室动态
- 实验室研究生龙震岳的论文获ETAPS Best Paper Award
- Turing Year in China
- 2012年开放课题申请工作正式开始
- 实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
- ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
学术报告
| Invigorating Console Logs: Logs as THE Debugging Tool for Large-scale Systems(2012/05/24, Dr. Wei Xu) |
| Interaction-Based Concurrency(2012/05/14, Prof. Farhad Arbab ) |
| Controllers with Minimal Observation Power (Application to Timed Systems)(2012/05/11, Dr. Peter Bulychev) |
| Commutative Data Automata(2012/05/10, Dr. Zhilin Wu) |
| Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding(2012/04/20, Wei Tong (Eindhoven University of Technology)) |
