科研进展----软件研究所

中国科学院软件研究所

科研进展

[2018-11-12]量子软件
[2019-03-22]软件定义
[2019-05-05]智能软件
[2019-07-12]软件所发布面向天地一体化组网“天智协议栈”
[2019-07-02]基于高性能服务网格的智能化编排系统
[2019-07-02]The opacity of real-time automata (实时自动机的不透明性)
[2019-07-02]Dichotomy for Real Holantc Problems
[2019-07-02]矩形转换问题
[2019-06-27]软件所在移动目标获取人机交互基础研究工作取得进展
[2019-06-20]Poisson Vector Graphics (PVG) 泊松矢量图形
[2019-06-20]L-CMP：基于关联规则学习的自动化带参验证工具
[2019-06-20]面向结构化网格的并行稀疏三角求解器SpTRSV
[2019-06-20]对LOP算子的优化使用以提取三维模型骨架
[2019-05-07]中科院软件所智能操作系统FactOS及配套工具公开发布
[2019-05-16]安卓系统JNI全局引用耗尽漏洞分析
[2019-05-16]基于Flink Gelly的复杂网络分析算法库
[2019-05-16]基于异构知识的常识阅读理解
[2019-05-16]CPU指令延迟与吞吐量测试工具Testp++
[2019-04-30]大规模固定翼无人机蜂群智能体自组织协同技术
[2019-04-30]无人机系统智能技术仿真实验平台
[2019-04-30]无人机红外兴趣目标实时检测及其行为识别
[2019-04-30]大规模智能建筑群管控平台
[2019-03-31]软件所量子软件团队推出国际首个量子程序证明工具
[2019-03-25]软件所等在像素级高效人手检测研究中取得进展
[2019-03-20]天智一号卫星自主请求式管控在轨试验获得成功

12 3 4 5 »

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 中国科学院软件研究所　京ICP备05046678号　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn