已选(0)清除
条数/页: 排序方式: |
| 云环境下网络感知的虚拟机分配问题的求解方法 期刊论文 吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455 作者: 吕帅; 徐玥; 张桐搏; 李广力; 池策 收藏  |  浏览/下载:28/0  |  提交时间:2023/12/04 computer software virtual machine assignment cloud computing satisfiability 计算机软件 虚拟机分配 云计算 可满足性 |
| 基于GPU的高性能稀疏矩阵向量乘及CG求解器优化 期刊论文 计算机科学, 2013, 卷号: 40.0, 期号: 003, 页码: 46 作者: 王迎瑞; 任江勇; 田荣 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 带状稀疏矩阵向量乘 bDIA 广义有限元 GPU CG求解器优化 |
| 无权访问的条目 期刊论文 作者: 孟维亮; 吴金钟; 吕伟伟; 吴恩华 Adobe PDF(779Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/10 |
| 无权访问的条目 期刊论文 作者: 刘晖; 胡平; 李华 Adobe PDF(497Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/09 |
| 无权访问的条目 期刊论文 作者: 赵阳; 吕涛; 李华伟; 李晓维 Adobe PDF(640Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/18 |
| 无权访问的条目 期刊论文 作者: 刘领一; 赵阳; 吕涛; 李华伟; 李晓维 Adobe PDF(271Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/22 |
| 无权访问的条目 期刊论文 作者: 陈云霁; 张健; 沈海华; 胡伟武 Adobe PDF(413Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/21 |
| 一种基于SAT的运算电路查错方法 期刊论文 计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁; 张健; 沈海华; 胡伟武 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 形式验证 模型检验 SAT E—CNF 标志子句 |
| 无权访问的条目 期刊论文 作者: 陈云霁; 马 麟; 沈海华; 胡伟武 Adobe PDF(514Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/15 |
| 龙芯2号微处理器浮点除法功能部件的形式验证 期刊论文 计算机研究与发展, 2006, 卷号: 43, 期号: 10, 页码: 1835 作者: 陈云霁; 马麟; 沈海华; 胡伟武 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 形式验证 字级模型检验 有界模型检验 |