球友会qy

中国科研实验室软件研究所

科研进展

[2016-09-28]Galaxy-智能决策支持系统
[2016-09-28]基于在线媒体的混合事件探测与追踪算法
[2016-09-28]Discovering Interpretable Geo-socail Communities for User Behavior Prediction
[2016-09-28]符号模型与隐式状态模型检测技术
[2016-09-28]面向多线程并发程序的输入导向主动测试方法
[2016-09-28]弱内存模型下并发库可线性化的判定性问题
[2016-09-28]隐藏 BUG 的主动检测
[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]球友会qy“笔式人机交互关键技术及应用”项目成果获北京市科学技术一等奖

上5页 «6 7 8 910

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