智能系统数值计算的可靠性保障与性能优化技术研究
面向动态语言程序的缺陷检查及修复技术研究
移动设备上基于多模态感知的行为识别技术研究
资源竞效的分布式计算理论研究
面向分布式机器学习的网络协议优化算法
基于机器学习的可解释缺陷预测模型研究
面向云环境的RDMA高速网络关键技术研究
开源软件生长与群智开发行为度量分析研究
语义支撑的深度学习模型测试数据效能研究
编译器优化引发的安全漏洞的自动检测技术