中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
  • 软件研究所 [159]
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共159条，第1-10条 帮助

限定条件                
条数/页： 排序方式：
一种基于组件的信息物理系统描述语言 学位论文  OAI收割
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载：19/0  |  提交时间：2017/07/08
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文  OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv, YR; Wang, YJ
  |  收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Dynamic Testing for Deadlocks via Constraints 期刊论文  OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y; Lu, Q
  |  收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding 期刊论文  OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 905-918
Zhu, XY; Geilen, M; Basten, T; Stuijk, S
  |  收藏  |  浏览/下载：31/0  |  提交时间：2016/12/09
An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文  OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
  |  收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文  OAI收割
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
  |  收藏  |  浏览/下载：11/0  |  提交时间：2016/12/13
组合测试：测试生成、错误定位与应用 学位论文  OAI收割
博士, 北京: 中国科学院大学, 2015
张智强
  |  收藏  |  浏览/下载：18/0  |  提交时间：2015/06/30
数据库形式化安全策略模型建模及分析方法 期刊论文  OAI收割
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊
  |  收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
炼油生产中的原油多周期调度优化 期刊论文  OAI收割
计算机集成制造系统, 2015, 卷号: 21, 期号: 2, 页码: 503-509
李亚平; 刘伟; 张刘军; 韩永波
  |  收藏  |  浏览/下载：22/0  |  提交时间：2016/12/09
格子Boltzmann 方程组的高可扩展隐式方法 研究报告  OAI收割
2014
黄记祖
  |  收藏  |  浏览/下载：17/0  |  提交时间：2015/10/16