中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Content Type
期刊论文 [31]
Source
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 31)

Filters        
Items/Page:    Sort:
Radl形式规格说明相对正确性研究 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云

 
一种面向关系型数据的可视质量分析方法 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 4, 页码: 810-824
滕东兴; 曾志荣; 杨海燕; 王宏安; 戴国忠

 
一种可扩展的用户界面描述语言 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 5, 页码: 1127-1142
杜一; 邓昌智; 田丰; 任磊; 戴国忠

 
面向云端Key/Value存储系统的开销敏感的数据迁移方法 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 6, 页码: 1403-1417
秦秀磊; 张文博; 王伟; 魏峻; 赵鑫; 钟华; 黄涛

 
云计算环境下分布式缓存技术的现状与挑战 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 1, 页码: 50-66
秦秀磊; 张文博; 魏峻; 王伟; 钟华; 黄涛

 
一个可追踪身份的基于属性签名方案 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2449-2464
张秋璞; 徐震; 叶顶锋

 
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 
基于网格中心点的点在多边形内的高效判定 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2481-2488
李静; 王文成

 
一类本原σ-LFSR序列的构造与计数 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 4, 页码: 952-961
谭刚敏; 曾光; 韩文报; 刘向辉

 
虚拟机确定性执行重放的模型分析和实现方法 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 6, 页码: 1620-1634
于佳耕; 周鹏; 武延军; 赵琛

 

1 2 3 4 next

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