Search Results

Item hits: (Results 1-10 of 142)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date DescendingAuthor AscendingAuthor Descending
	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, YR; 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