机构

• 软件研究所 [14]

采集方式

• OAI收割 [14]

内容类型

• 会议论文 [14]

发表日期

• 2013 [1]
• 2012 [5]
• 2011 [1]
• 2010 [3]
• 2009 [2]
• 2005 [1]
• 更多

学科主题

• Computer S... [1]
• 计算机软件::软件工... [1]

筛选

浏览/检索结果: 共14条，第1-10条 帮助 限定条件 内容类型：会议论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 rewrite-based statistical model checking of wmtl 会议论文  OAI收割 3rd International Conference on Runtime Verification, RV 2012, Istanbul, Turkey, September 25, 2012 - September 28, 2012 Bulychev Peter; David Alexandre; Larsen Kim G.; Legay Axel; Li Guangyuan; Poulsen Danny Bgsted   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Automata theory   towards a cost-aware data migration approach for key-value stores 会议论文  OAI收割 IEEE International Conference on Cluster Computing, Beijing, PEOPLES R CHINA, SEP 24-28, 2012 Qin Xiulei; Zhang Wenbo; Wang Wei; Wei Jun; Zhao Xin; Huang Tao   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22 data migration  key-value store  rebalancing  cost   elasticat: a load rebalancing framework for cloud-based key-value stores 会议论文  OAI收割 2012 19th International Conference on High Performance Computing, HiPC 2012, Pune, India, December 18, 2012 - December 21, 2012 Qin Xiulei; Wang Wei; Zhang Wenbo; Wei Jun; Zhao Xin; Huang Tao   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/09/22 Computer science   a novel duplicate images detection method based on plsa model 会议论文  OAI收割 4th International Conference on Machine Vision: Machine Vision, Image Processing, and Pattern Analysis, ICMV 2011, Singapore, Singapore, December 9, 2011 - December 10, 2011 Liao Xiaofeng; Wang Yongji; Ding Liping; Gu Jian   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22 Affine transforms  Clustering algorithms  Image retrieval  Semantics   monitor-based statistical model checking for weighted metric temporal logic 会议论文  OAI收割 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, Merida, Venezuela, March 11, 2012 - March 15, 2012 Bulychev Peter; David Alexandre; Guldstrand Larsen Kim; Legay Axel; Li Guangyuan; Bgsted Poulsen Danny; Stainer Amelie   |  收藏  |  浏览/下载：8/0  |  提交时间：2013/09/22 Artificial intelligence  Semantics   optimizing data migration for cloud-based key-value stores 会议论文  OAI收割 21st ACM International Conference on Information and Knowledge Management, CIKM 2012, Maui, HI, United states, October 29, 2012 - November 2, 2012 Qin Xiulei; Zhang Wenbo; Wang Wei; Wei Jun; Zhao Xin; Huang Tao   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/09/22 Elasticity  Knowledge management  Optimization  Scalability   local bias and its impacts on the performance of parametric estimation models 会议论文  OAI收割 7th International Conference on Predictive Models in Software Engineering, PROMISE 2011, Co-located with ESEM 2011, Banff, AB, Canada, September Yang Ye; Xie Lang; He Zhimin; Li Qi; Nguyen Vu; Boehm Barry; Valerdi Ricardo   |  收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08 Estimation  Models  Predictive control systems  Software engineering   Measuring the Heterogeneity of Cross-company Dataset 会议论文  OAI收割 Profes 2010, 爱尔兰，Limerick大学, 2010-6-22 Chen J(陈嘉); Yang Y(杨叶); Zhang W(张文); Gregory Gay   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/05/29 Heterogeneous datasets  software effort estimation  parameter comparison  estimation model calibration   a mobility model based on traffic flow theory for vehicular delay tolerant network 会议论文  OAI收割 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September Yang Wei-Dong; Liu Ji-Zhao; Zhu Hong-Song   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/03/31 Ad hoc networks  Computation theory  Models  Routers  Topology  Traffic surveys   optimal infostation deployment for spatio-temporal information dissemination 会议论文  OAI收割 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429 Xiong Yongping; Tian Rui; Ma Jian; Liu Yan; Sun Limin   |  收藏  |  浏览/下载：10/0  |  提交时间：2011/03/31 Heuristic algorithms  Optimization  Polynomial approximation  Sales