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

Search Results

Help

Item hits: (Results 1-10 of 53)

Filters        
Items/Page:    Sort:
Barrier certificates revisited [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2017-05-01, 卷号: 80, 页码: 62-86
Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun

 
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
不动点逻辑中的模型构造与推演系统的完备性 [学位论文]
博士, 北京: 中国科学院研究生院, 2012-05-31
屈楠
  |  
 
PAR中泛型约束机制的设计与实现 [学位论文]
博士, 北京: 中国科学院大学, 2011-07-01
左正康
  |  
 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  
 
unbalanced graph partitioning [会议论文]
21st Annual International Symposium on Algorithms and Computations, ISAAC 2010, Jeju Island, Korea, Republic of, 40878
Li Angsheng; Zhang Peng
  |  
 
temporal filter: a temporal extension to wireshark display filter [会议论文]
22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010, Redwood City, CA, United states, 44013
Wang Shaochun

 
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 computational proof of complexity of some restricted counting problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
saturation attack on the block cipher hight [会议论文]
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Zhang Peng; Sun Bing; Li Chao
  |  
 

1 2 3 4 5 6 next

 

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