Main Page
From State Key Laboratory of Computer Science
Main Page
SKLCS News
实验室研究生龙震岳的论文获ETAPS Best Paper Award
Turing Year in China
2012年开放课题申请工作正式开始
实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
SKLCS Seminar
| 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)) |
