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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
Corrected runs distribution test for pseudorandom number generators [期刊论文]
ELECTRONICS LETTERS, 2016-01-01, 卷号: 52, 期号: 4, 页码: 281-282
Fan, LM; Chen, H; Chen MeiHui(陈美会); Gao, S
  |  
 
characterizations of locally testable linear- and affine-invariant families [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 414, 期号: 1, 页码: 55-75
Angsheng Li; Yicheng Pan

 
crossmodal error correction of continuous handwriting recognition by speech [会议论文]
12th International Conference on Intelligent User Interfaces, IUI 2007, Honolulu, HI, United states, 2007-01-28
Ao Xiang; Wang Xugang; Tian Feng; Dai Guozhong; Wang Hongan
  |  
 
adaptive voice stream multicast over low-power wireless networks [会议论文]
31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, CA, 40850
Liqun Li; Guoliang Xing; Qi Han; Limin Sun
  |  
 
pressure corrected sph for fluid animation [学位论文]
, 2009-01-01
Bao Kai; Zhang Hui; Zheng Lili; Wu Enhua

 
基于静态分析的强制访问控制框架的正确性验证 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳
  |  
 
generating algorithms plus loop invariants by formal derivation [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Du Dawei; Xue Jinyun
  |  
 
a mechanical approach for deriving algorithmic programs [会议论文]
7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16,
Shi Haihe; Xue Jinyun; Du Dawei
  |  
 
test case reduction technique for bpel-based testing [会议论文]
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli
  |  
 
a petri-net-based correctness analysis of internet stock trading systems [期刊论文]
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008-01-01, 卷号: 38, 期号: 1, 页码: 93-99
Du YuYue; Jiang ChangJun; Zhou MengChu

 

1 2 next

 

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