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

Search Results

Help

Item hits: (Results 1-10 of 29)

Items/Page:    Sort:
A Model for Phase Transition of Random Answer-Set Programs [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016-01-01, 卷号: 17, 期号: 3
Wen, L; Wang, KW; Shen, YD; Lin, FZ
  |  
 
Trace Abstraction Refinement for Solving Horn Clauses [期刊论文]
COMPUTER JOURNAL, 2016-01-01, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L

 
An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 5, 页码: 987-1011
Chen, L; Wu, JZ; Lv YinRun(吕荫润); Wang, YJ
  |  
 
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2015-01-01, 卷号: 110, 页码: 205-221
Chen, J; Xu, XW; Osterweil, LJ; Zhu, LM; Brun, Y; Bass, L; Xiao, JC; Li, MS; Wang, Q
  |  
 
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015-01-01, 卷号: 30, 期号: 6, 页码: 1358-1369
Yu, XL; Wu, WL; Shi, ZQ; Zhang, J; Zhang, L; Wang, YF

 
小卫星编队飞行自治系统信息可靠传输机制研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-01
王露
  |  
 
Visual analysis of large-scale network anomalies [期刊论文]
IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 2013-01-01, 卷号: 57, 期号: 3-4
Liao, Q.; Shi, L.; Wang, C.

 
卫星网络高效传输机制研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-30
王路
  |  
 
global relative parameter sensitivities of the feed-forward loops in genetic networks [期刊论文]
Neurocomputing, 2012-01-01, 卷号: 78, 期号: 1, 页码: 155-165
Wang Pei; L&#; Jinhu; Ogorzalek Maciej J.

 
load-aware and position-aided routing in satellite ip networks [期刊论文]
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2012-01-01, 卷号: 7, 期号: 1, 页码: 163-172
Wang L.; Liu L.; Hu X.
  |  
 

1 2 3 next

 

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