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

Search Results

Help

Item hits: (Results 1-10 of 142)

Items/Page:    Sort:
Efficient approximation of optimal control for continuous-time Markov games [期刊论文]
INFORMATION AND COMPUTATION, 2016-01-01, 卷号: 247, 页码: 106-129
Fearnley, J; Rabe, MN; Schewe, S; Zhang, LJ
  |  
 
Multiconstraint Static Scheduling of Synchronous Dataflow Graphs Via Retiming and Unfolding [期刊论文]
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016-01-01, 卷号: 35, 期号: 6, 页码: 905-918
Zhu, XY; Geilen, M; Basten, T; Stuijk, S
  |  
 
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016-01-01, 卷号: 82, 期号: 8, 页码: 1283-1299
Barmpalias, G; Fang, N; Lewis-Pye, A
  |  
 
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
  |  
 
Generating combinatorial test suite using combinatorial optimization [期刊论文]
Journal of Systems and Software, 2014-01-01, 卷号: 98, 页码: 191-207
Zhang, Zhiqiang (1); Yan, Jun (3); Zhao, Yong (5); Zhang, Jian (1)

 
基于粒子群优化的测试数据生成及其实证分析 [期刊论文]
计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 4, 页码: 824-837
毛澄映; 喻新欣; 薛云志

 
认知无线电分簇子网频谱决策 [期刊论文]
计算机科学, 2014-01-01, 卷号: 41, 期号: 6, 页码: 27-30,68
赵俊; 廖名学; 何晓新; 郑昌文

 
Sketch-based design for green geometry and image deformation [期刊论文]
MULTIMEDIA TOOLS AND APPLICATIONS, 2013-01-01, 卷号: 62, 期号: 3, 页码: 581-599
Sheng, Bin; Meng, Weiliang; Sun, Hanqiu; Wu, Enhua

 
HONEYBEE MATING OPTIMIZATION ALGORITHM FOR TASK ASSIGNMENT IN HETEROGENEOUS COMPUTING SYSTEMS [期刊论文]
INTELLIGENT AUTOMATION AND SOFT COMPUTING, 2013-01-01, 卷号: 19, 期号: 1, 页码: 69-84
Kang, Qinma; He, Hong

 
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

 

1 2 3 4 5 6 7 8 9 10 next

 

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