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

Search Results

Help

Item hits: (Results 1-10 of 23)

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

 
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.

 
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.
  |  
 
cooperative hunting by distributed mobile robots based on local interaction [期刊论文]
IEEE TRANSACTIONS ON ROBOTICS, 2006-01-01, 卷号: 22, 期号: 2, 页码: 403-407
Cao ZQ; Tan M; Li L; Gu N; Wang S
  |  
 
cooperative hunting by distributed mobile robots based on local interaction [期刊论文]
IEEE TRANSACTIONS ON ROBOTICS, 2006-01-01, 卷号: 22, 期号: 2, 页码: 403-407
Cao ZQ; Tan M; Li L; Gu N; Wang S
  |  
 

1 2 3 next

 

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