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

中国科学院软件研究所

科研进展

[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]复杂度与质量的平衡：搜索大图中的小顶点覆盖
[2016-10-24]2016年中国科学院软件研究所获得国家基金委资助项目清单
[2016-06-17]2016年度山东省科学技术奖推荐项目公示
[2016-04-13]软件定义卫星应用创意设计及开发征集活动的通知
[2016-04-28]中国科学院软件研究所所学术年会2016

上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