中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解 [学位论文]
硕士, 北京: 中国科学院大学, 2019-05-17
高冲
  |  
 
基于概率模型的命名实体集合扩展技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-27
石贝
  |  
 
XML处理语言的参数多态化 [学位论文]
博士, 北京: 中国科学院大学, 2013-05-30
许智武
  |  
 
NUMA架构敏感的MPI集合通信性能分析与优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
饶立
  |  
 
程序不变量到断言的自动转换方法研究及其应用 [期刊论文]
计算机应用与软件, 2012-01-01, 期号: 11, 页码: 177-180,189
邓超强; 曾凡平; 武飞; 熊能; 董齐兴

 
国产百万亿次机群系统Alltoall性能测试与分析 [期刊论文]
计算机科学, 2010-01-01, 卷号: 37, 期号: 8, 页码: 186-188,207
饶立; 张云泉; 李玉成
  |  
 
判断集合包含关系的安全计算协议 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 7, 页码: 1337-1345
李荣花; 武传坤; 张玉清
  |  
 
参数化系统安全性的启发式符号验证 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 6, 页码: 1444-1456
杨秋松; 李明树
  |  
 
安全多方计算中秘密匹配问题的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-14
李荣花
  |  
 
一种基于图重写的计算机安全风险分析系统 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 8, 页码: 271-274
李娜; 谢冬青
  |  
 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace