科研进展----中国科学院软件研究所

中国科学院软件研究所

科研进展

[2016-09-28]面向纹理图像压缩的向量回归函数
[2016-09-28]统一框架下区分局部和全局编辑的同步传播
[2016-09-28]基于差分约束抽象的时间自动机可达性验证
[2016-09-28]程序 bug 的自动修复
[2016-09-28]检测图的聚类结构
[2016-09-28]面向多线程并发程序的输入导向主动测试方法
[2016-09-28]带参协议验证工具 ParaVerifier
[2016-09-28]等式型多项式程序的终止性分析
[2016-09-28]基于多样性传导实验设计的主动学习方法
[2016-09-28]复杂度与质量的平衡：搜索大图中的小顶点覆盖
[2016-10-24]2016年中国科学院软件研究所获得国家基金委资助项目清单
[2016-06-17]2016年度山东省科学技术奖推荐项目公示
[2016-04-13]软件定义卫星应用创意设计及开发征集活动的通知
[2016-04-28]中国科学院软件研究所所学术年会2016
[2016-03-01]软件所“笔式人机交互关键技术及应用”项目成果获北京市科学技术一等奖

上5页 «6 7 8 910

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