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

Search Results

Help

Item hits: (Results 1-10 of 38)

Items/Page:    Sort:
Dynamic Testing for Deadlocks via Constraints [期刊论文]
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016-01-01, 卷号: 42, 期号: 9, 页码: 825-842
Cai, Y; Lu, Q
  |  
 
Solving Nonlinear SMT Problems Based on an Efficient Lazy Method [期刊论文]
JOURNAL OF INTERNET TECHNOLOGY, 2013-01-01, 卷号: 14, 期号: 3, 页码: 379-386
Ji, Xiaohui; Ma, Feifei

 
Cascade: A test generation tool for combinatorial testing [会议论文]
IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013, Luxembourg, Luxembourg, March 18, 2013 - March 20, 2013
Zhao, Yong (1); Zhang, Zhiqiang (1); Yan, Jun (2); Zhang, Jian (1)

 
an approximate approach to belief revision [期刊论文]
LOGIC JOURNAL OF THE IGPL, 2012-01-01, 卷号: 20, 期号: 2, 页码: 486-496
Luan Shangmin; Dai Guozhong; Magnani Lorenzo

 
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  
 
实物界面下的虚拟装配 [期刊论文]
中国图象图形学报, 2010-01-01, 卷号: 15, 期号: 8, 页码: 1151-1157
喻晓宇; 张凤军; 戴国忠
  |  
 
基于考生比例的考场编排问题的分治算法 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 12, 页码: 2872-2875
王文发; 张根耀; 马春梅; 李红达
  |  
 
partial constraint checking for context consistency in pervasive computing [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010-01-01, 卷号: 19, 期号: 3, 页码: -
Xu Chang; Cheung S. C.; Chan W. K.; Ye Chunyang
  |  
 
optimization method for mixed constraints problem solving [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui; Huang Zhuo
  |  
 
a two-phase approach to subscription subsumption checking for content-based publish/subscribe systems [会议论文]
24th IEEE International Conference on Advanced Information Networking and Applications, AINA2010, Perth, WA, Australia, April 20,
Qin Xiulei; Wei Jun; Zhang Wenbo; Zhong Hua; Huang Tao
  |  
 

1 2 3 4 next

 

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