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

Search Results

Help

Item hits: (Results 31-40 of 4527)

Items/Page:    Sort:
基于Pareto前沿与粒子群优化的卫星资源调度算法 [期刊论文]
计算机工程, 2016-01-01, 卷号: 42, 期号: 1, 页码: 193-198
郑义成; 袁茵; 邓勇; 李军; 王海鸿
  |  
 
软件形式化方法与应用专题前言 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 495-496
詹乃军; 王戟; 李宣东

 
Full-feedback contention window adaption for IEEE 802.11 WLANs [期刊论文]
JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2016-01-01, 卷号: 27, 期号: 1, 页码: 90-98
Zhou, X; Zheng, CW; Liao, MX

 
用SURE引导自适应采样与采样颜色直方图重构 [期刊论文]
计算机辅助设计与图形学学报, 2016-01-01, 卷号: 28, 期号: 4, 页码: 533-539
袁红亮; 吴付坤; 郑昌文
  |  
 
基于冠幅的杉木人工林胸径和树高参数化预估模型 [期刊论文]
北京林业大学学报, 2016-01-01, 卷号: 38, 期号: 3, 页码: 55-63
董晨; 吴保国; 张瀚

 
一种基于文件支持度的动态副本管理机制 [期刊论文]
计算机研究与发展, 2016-01-01, 卷号: 53, 期号: 2, 页码: 431-442
肖中正; 陈宁江; 贾炅昊; 张文博
  |  
 
面向无穷数据的形式模型综述 [期刊论文]
软件学报, 2016-01-01, 卷号: 27, 期号: 3, 页码: 682-690
宋富; 吴志林
  |  
 
基于偏移四叉树投票的大尺寸点状符号多尺度无压盖可视化 [期刊论文]
测绘学报, 2016-01-01, 卷号: 45, 期号: 8, 页码: 983-991
张翔; 王少东; 王玉霞
  |  
 
Complete Proof Systems for Amortised Probabilistic Bisimulations [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016-01-01, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM

 
Deciding probabilistic automata weak bisimulation: theory and practice [期刊论文]
FORMAL ASPECTS OF COMPUTING, 2016-01-01, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next

 

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