中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
王健 [1]
Issued Date
2019 [1]
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 41)

Items/Page:    Sort:
一种新型形式化验证方法——理论与工具 [学位论文]
博士, 北京: 中国科学院研究生院, 2019-03-08
刘坚
  |  
 
Mining streams of short text for analysis of world-wide event evolutions [期刊论文]
World Wide Web, 2014-01-01
Huang, Guangyan (1); He, Jing (2); Zhang, Yanchun (2); Zhou, Wanlei (1); Liu, Hai (3); Zhang, Peng (2); Ding, Zhiming (4); You, Yue (5); Cao, Jian (5)

 
Compressing large scale urban trajectory data [会议论文]
4th International Workshop on Cloud Data and Platforms, CloudDP 2014, Amsterdam, Netherlands, April 13, 2014 - April 13, 2014
Liu, Kuien (1); Li, Yaguang (1); Dai, Jian (1); Shang, Shuo (2); Zheng, Kai (3)

 
Animating turbulent water by vortex shedding in PIC/FLIP [期刊论文]
Science China Information Sciences, 2013-01-01, 卷号: 56, 期号: 3, 页码: 1-11
Zhu, Jian (1); Liu, YouQuan (3); Chang, YuanZhang (1); Wu, EnHua (1)

 
Developing a real-time inference approach for rule-based reasoning systems [会议论文]
2013 Research in Adaptive and Convergent Systems, RACS 2013, Montreal, QC, Canada, October 1, 2013 - October 4, 2013
Qiao, Ying (1); Leng, Chang (1); Wang, Hongan (1); Liu, Jian (2)

 
efficient public key cryptosystem resilient to key leakage chosen ciphertext attacks [会议论文]
Cryptographers' Track at the RSA Conference 2013, CT-RSA 2013, San Francisco, CA, United states, February 25, 2013 - March 1, 2013
Liu Shengli; Weng Jian; Zhao Yunlei

 
fpga-based trusted platform module attack [期刊论文]
Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology, 2013-01-01, 卷号: 39, 期号: 1, 页码: 70-75
Li Jian-Jun; Fang Juan; Ji Qi; Liu Peng; Mao Jun-Jie; Lin Li; Jiang Wei

 
combinatorial testing on id3v2 tags of mp3 files [会议论文]
5th IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Montreal, QC, Canada, April 17, 2012 - April 21, 2012
Zhang Zhiqiang; Liu Xiaojian; Zhang Jian

 
an extended transaction model based on thp protocol [期刊论文]
International Review on Computers and Software, 2012-01-01, 卷号: 7, 期号: 5, 页码: 2466-2471
Liu Hai; Chen Jian; Zhang Jianwei; Deng Pan; Ma Shilong

 
mobility prediciton clustering routing in uavs [会议论文]
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Shu Jian; Ge Yangfan; Liu Linlan; Sun Limin

 

1 2 3 4 5 next

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