中国科学院计算技术研究所机构知识库

浏览/检索结果: 共5条，第1-5条

帮助

限定条件

语种：英语

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	云环境下网络感知的虚拟机分配问题的求解方法 期刊论文 吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455 作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策 收藏  |  浏览/下载：23/0  |  提交时间：2023/12/04 computer software  virtual machine assignment  cloud computing  satisfiability  计算机软件  虚拟机分配  云计算  可满足性
	基于GPU的高性能稀疏矩阵向量乘及CG求解器优化 期刊论文 计算机科学, 2013, 卷号: 40.0, 期号: 003, 页码: 46 作者:  王迎瑞;  任江勇;  田荣 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 带状稀疏矩阵向量乘  bDIA  广义有限元  GPU  CG求解器优化
	一种基于SAT的运算电路查错方法 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者:  陈云霁;  张健;  沈海华;  胡伟武 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 形式验证  模型检验  SAT  E—CNF  标志子句
	龙芯2号微处理器浮点除法功能部件的形式验证 期刊论文 计算机研究与发展, 2006, 卷号: 43, 期号: 10, 页码: 1835 作者:  陈云霁;  马麟;  沈海华;  胡伟武 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 形式验证  字级模型检验  有界模型检验
	动态合同网协议 期刊论文 计算机工程, 2004, 卷号: 30.0, 期号: 021, 页码: 44 作者:  张海俊;  史忠植 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 合同网协议  动态合同网  主体  信任度  求解器  DCNP