收藏本站
基础软件与系统重点实验室
菜单 搜索
下载中心
会议室预定
电子邮箱
  • 首页
  • 实验室概况
    • 实验室介绍
    • 组织管理
    • 学术委员会
  • 科学研究
    • 研究方向
    • 科研进展
    • 科研成果
    • 学术论文
  • 党建工作
    • 办事指南
    • 反腐倡廉
      • 党纪党规
      • 警示教育
    • 媒体转载
    • 支部活动
    • 科研攻坚
  • 人才队伍
    • 院士专家
    • 研究员/正高级工程师
    • 副研究员/高级工程师
  • 研究室简介
    • 约束求解研究室
    • 基础软件验证研究室
    • 基础软件测试与分析研究室
    • 可信智能系统研究室
    • 操作系统研究室
    • 量子软件研究室
    • 空间感知系统研究室
    • 前瞻研究室
  • 联系我们
科学研究

科研进展 更多>>

  • 2019-07-18计算复杂性问题
  • 2019-07-18量子程序终止性算法分析
  • 2019-07-18基于自动机的程序终止性检验
  • 2019-07-18Android 堆栈机模型
  • 2019-07-18大规模分布式系统的失效恢复缺陷分析与检测
  • 2019-07-18带边缘感知的改进的纹理滤波
  • 2019-07-17实时自动机的不透明性
  • 2019-07-17密钥封装机制的抗量子安全性设计理论
  • 2019-07-17学习数据和概率分布的等价性及其应用
  • 2019-07-17大规模Partial MaxSAT问题的高效求解

软件著作 更多>>

  • 2019-07-192018
  • 2019-07-192017
  • 2019-07-192016及之前

发明专利 更多>>

  • 2019-07-192018
  • 2019-07-192017
  • 2019-07-192016及之前

学术论文 更多>>

  • 2019-07-19Conference 2018
  • 2019-07-19Conference 2017
  • 2019-07-19Journal 2018
  • 2019-07-19Journal 2017
  • 2019-07-14Journal 2016
  • 2019-07-14Journal 2015
  • 2019-07-14Journal 2014
  • 2019-07-14Journal 2013
  • 2019-07-14Journal 2012
  • 2019-07-14Journal 2011

期刊论文 更多>>

  • 2019-07-19Journal 2018
  • 2019-07-19Journal 2017
  • 2019-07-14Journal 2016
  • 2019-07-14Journal 2015
  • 2019-07-14Journal 2014
  • 2019-07-14Journal 2013
  • 2019-07-14Journal 2012
  • 2019-07-14Journal 2011
  • 2019-07-14Journal 2010
  • 2019-07-14Journal 2009

会议论文 更多>>

  • 2019-07-19Conference 2018
  • 2019-07-19Conference 2017
  • 2019-07-14Conference 2016
  • 2019-07-14Conference 2015
  • 2019-07-14Conference 2014
  • 2019-07-14Conference 2013
  • 2019-07-14Conference 2012
  • 2019-07-14Conference 2011
  • 2019-07-14Conference 2010
  • 2019-07-14Conference 2009
  • 科学研究

    • 科研进展
    • 软件著作
    • 发明专利
    • 学术论文
      • 期刊论文
      • 会议论文

中华人民共和国科学技术部          国家自然科学基金委员会          中国科学院         北京分院         软件研究所         软件所图书馆    

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1