now163
- Hard-Real-Time Scheduling on a Weakly Programmable Multi-core Processor with Application to Multi-standard Channel Decoding2012-04-18
- Techniques on System-Level Design of Hard Real-Time Embedded Systems2012-04-18
- Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding2012-04-06
- Information Visualization and Its Applications to Analytics Systems2012-04-06
- 实验室研究生龙震岳的论文获ETAPS Best Paper Award2012-04-05
- Width-parameterized SAT: time-space tradeoffs2012-02-26
- Turing Year in China2012-01-12
- 先进列车运行控制技术的研究与发展2012-01-08
- Multiparty session types and Multiparty Session Automata2012-01-04
- Degrees of non-determinacy of computable games and linear logic2011-12-27
- Redundant Synchronization Event Removal for Data Race Detection2011-12-15
- Fault Localization Inspired by the PIE Model2011-12-13
- Data-driven display advertising in USA and China2011-12-08
- Specification Theories of Modal Transition Systems2011-12-06
- The MSO Theory of Connectedly Communicating Processes2011-12-05
- 2012年开放课题申请工作正式开始2011-12-02
- Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs2011-12-01
- Language Theoretic CEGAR2011-11-29
- Monitor-Based Statistical Model checking for Weighted Metric Temporal Logic2011-11-17
- Complexity Issues of Ternary Boolean Diagrams2011-11-11