- 【软件开发的群体化方法】 [2021-07-20]
- 【Quingo: A Programming Framework for Heterogeneous Quantum-... [2020-10-19]
- 华东师大-华为公司【可信软件】联合研讨会 [2019-07-26]
- 【轨道交通列控系统的自适应例证与系统展示】 [2019-06-21]
- 【Real-Time Hair Simulation with Heptadiagonal Decomposition... [2019-06-19]
- 【Proving Inequalities with the Help of the Computer】 [2019-06-18]
- 【Analytical Solutions to the Compressible Euler Equations】 [2019-06-18]
- 【5,000X model compression in DNNs; But, is it truly desirab... [2019-06-17]
- 【Model-Checking Yampa Programs in a Discrete Runtime Enviro... [2019-06-03]
- 【Networking and Big Data: Challenges and Opportunities】 [2019-05-24]
- 【Symbolic Semantics for Open Systems and Their Bisimulation... [2019-05-15]
- 【Spintronic Memory: From Memory to Computing-in-Memory】 [2019-05-14]
- 【复杂系统干扰抑制与补偿方法及其应用】 [2019-05-13]
- 【Artificial Intelligence and Cyber Security】 [2019-05-08]
©2016 华东师范大学高可信计算重点实验室