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

中国科学院软件研究所

科研进展

[2016-09-29]电子表格中单元阵列的检测与修复
[2016-09-29]弱监督语义知识获取技术
[2016-09-28]天河二号 HPCG 整机312 万核优化
[2016-09-28]汉藏机器翻译系统及辅助工具系列软件
[2016-09-28]基于 Graphite 的蒙古文字体
[2016-09-28]实时系统单调速率优化设计研究
[2016-09-28]智能终端环境下隐蔽信道研究
[2016-09-28]通信感知的共存虚拟机间网络延迟调度技术研究
[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]复杂度与质量的平衡：搜索大图中的小顶点覆盖

上5页 «6 7 8910 »

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