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

Search Results

Help

Item hits: (Results 1-10 of 16)

Items/Page:    Sort:
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Image anti-aliasing techniques for Internet visual media processing: a review [期刊论文]
JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2014-01-01, 卷号: 15, 期号: 9, 页码: 717-728
Jiang, Xu-dong; Sheng, Bin; Lin, Wei-yao; Lu, Wei; Ma, Li-zhuang

 
Metrics for differential privacy in concurrent systems [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)

 
Enabling and scaling a global shallow-water atmospheric model on Tianhe-2 [会议论文]
28th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2014, Phoenix, AZ, United states, May 19, 2014 - May 23, 2014
Xue, Wei (1); Yang, Chao (2); Fu, Haohuan (3); Wang, Xinliang (1); Xu, Yangtong (1); Gan, Lin (1); Lu, Yutong (5); Zhu, Xiaoqian (5)

 
a peta-scalable cpu-gpu algorithm for global atmospheric simulations [会议论文]
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin

 
fast time domain simulation of power systems using multilevel preconditioners with adaptive reconstruction strategies [期刊论文]
Simulation Modelling Practice and Theory, 2012-01-01, 卷号: 25, 页码: 90-105
Xu Shiming; Xue Wei; Wang Ke; Lin Hai Xiang
  |  
 
updating preconditioner for iterative method in time domain simulation of power systems [期刊论文]
Science China Technological Sciences, 2011-01-01, 卷号: 54, 期号: 4, 页码: 1024-1034
Wang Ke; Xue Wei; Lin Haixiang; Xu Shiming; Zheng Weimin
  |  
 
A New Efficient Algorithm for Computing All Low Degree Annihilators of Sparse Polynomials with a High Number of Variables [会议论文]
The Sixth International Conference on Information Security Practice and Experience Conference (ISPEC 2010), Seoul, Korea, 2010-5-12~2010-05-13
Lin Xu; Dongdai Lin; Xin Li
  |  
 
refinement of millers algorithm over edwards curves [会议论文]
Cryptographers Track held at the RSA Conference (CT-RSA), San Francisco, CA, MAR 01-05,
Xu Lei; Lin Dongdai
  |  
 
accelerating inverse of gf(2(n)) with precomputation [会议论文]
6th International Conference on Information Security Practice and Experience, Seoul, SOUTH KOREA, MAY 12-13,
Xu Lei; Lin Dongdai
  |  
 

1 2 next

 

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